Starred repositories
Linter for the Julia programming language
a minimal String type for Julia that allows for efficient string representation and transfer
An efficient implementation of the Double Description Method
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Minimal-dependency, lazy, performant, flexible, JSON for Julia.
The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.
Tools for solving serialized Rel SolverAPI library models with external solvers.
A Julia package for solving multi-objective optimization problems
A collection of problem specifications in Essence.
Datalog with support for SMT queries and first-order functional programming
Interface for arithmetics on mutable types in Julia
A dual active-set algorithm for convex quadratic programming