Wikunia / ConstraintSolver.jlLinks
ConstraintSolver in Julia: Blog posts ->
☆142Updated 3 years ago
Alternatives and similar repositories for ConstraintSolver.jl
Users that are interested in ConstraintSolver.jl are comparing it to the libraries listed below
Sorting:
- Julia interface to SCIP solver☆119Updated last month
- Interior-point solver in pure Julia☆161Updated 4 months ago
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Updated this week
- A JuMP-based Nonlinear Integer Program Solver☆184Updated 4 months ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Updated this week
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Updated 2 months ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- A JuMP extension to use parameter in constraints RHS☆43Updated 3 years ago
- Automatic dualization feature for MathOptInterface.jl and JuMP☆101Updated 3 weeks ago
- MHLib.jl - A Toolbox for Metaheuristics and Hybrid Optimization Methods in Julia☆31Updated 3 weeks ago
- Sparse, General Linear Algebra for Graphs!☆114Updated 6 months ago
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- A Julia interface to the FICO Xpress Optimization suite☆68Updated 3 months ago
- Symbolic parser for Julia language term rewriting using REDUCE algebra☆248Updated 2 months ago
- Extensions to MathOptInterface to support constraint programming.☆24Updated 6 months ago
- Functions generated at runtime without world-age issues or overhead☆108Updated this week
- A solver for mixed-integer convex optimization☆139Updated 9 months ago
- Polyhedral Computation Interface☆183Updated 11 months ago
- Julia enhancement proposal (Julep) for implicit per file module in Julia☆145Updated last year
- Interface to Polymake using CxxWrap☆29Updated last week
- Multivariate polynomials interface☆139Updated 2 months ago
- JuMP extensions for constraint programming.☆16Updated 5 years ago
- A Julia interface to the Coin-OR Branch and Cut solver (CBC)☆83Updated 3 months ago
- Bindings to the Cairo graphics library.☆93Updated 4 months ago
- A Julia package for Prolog-style logic programming.☆178Updated 3 years ago
- fast parsing machinery for basic types in Julia☆119Updated 8 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Updated last week
- Object and type viewer for Julia☆157Updated 5 months ago
- A Julia interface to the GNU Linear Programming Kit☆105Updated last year
- A symbolic math library written in Julia modelled off scmutils☆108Updated 4 years ago