Alternatives and similar repositories for ConstraintSolver.jl:

Users that are interested in ConstraintSolver.jl are comparing it to the libraries listed below

• ds4dm / Tulip.jl
  Interior-point solver in pure Julia
  ☆155Updated last month
• lanl-ansi / Juniper.jl
  A JuMP-based Nonlinear Integer Program Solver
  ☆181Updated 5 months ago
• MasonProtter / Symbolics.jl
  A symbolic math library written in Julia modelled off scmutils
  ☆107Updated 3 years ago
• JuliaAlgebra / MultivariatePolynomials.jl
  Multivariate polynomials interface
  ☆138Updated 3 weeks ago
• jump-dev / Pajarito.jl
  A solver for mixed-integer convex optimization
  ☆133Updated last month
• JuliaPolyhedra / CDDLib.jl
  cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
  ☆37Updated last month
• marius311 / Memoization.jl
  Easily and efficiently memoize any function, closure, or callable object in Julia.
  ☆105Updated 3 months ago
• JuliaPolyhedra / Polyhedra.jl
  Polyhedral Computation Interface
  ☆176Updated this week
• JuliaIntervals / IntervalConstraintProgramming.jl
  Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
  ☆66Updated 2 months ago
• sbromberger / MetaGraphs.jl
  I never metagraph I didn't like.
  ☆94Updated 3 years ago
• scipopt / SCIP.jl
  Julia interface to SCIP solver
  ☆101Updated last week
• jump-dev / HiGHS.jl
  A Julia interface to the HiGHS solver
  ☆119Updated last month
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 4 years ago
• JuliaIntervals / ValidatedNumerics.jl
  Rigorous floating-point calculations with interval arithmetic in Julia
  ☆85Updated 2 months ago
• SciML / RuntimeGeneratedFunctions.jl
  Functions generated at runtime without world-age issues or overhead
  ☆102Updated this week
• JuliaData / Parsers.jl
  fast parsing machinery for basic types in Julia
  ☆116Updated 3 months ago
• jump-dev / Dualization.jl
  Automatic dualization feature for MathOptInterface.jl
  ☆98Updated last month
• JuliaStochOpt / ParameterJuMP.jl
  A JuMP extension to use parameter in constraints RHS
  ☆42Updated 2 years ago
• JuliaDebug / JuliaInterpreter.jl
  Interpreter for Julia code
  ☆164Updated 2 weeks ago
• andyferris / Dictionaries.jl
  An alternative interface for dictionaries in Julia, for improved productivity and performance
  ☆287Updated last week
• oscar-system / Polymake.jl
  Interface to Polymake using CxxWrap
  ☆29Updated last week
• JuliaAlgebra / DynamicPolynomials.jl
  Multivariate polynomials implementation of commutative and non-commutative variables
  ☆61Updated 2 months ago
• jw3126 / Setfield.jl
  Update deeply nested immutable structs.
  ☆168Updated last year
• JuliaLogging / LoggingExtras.jl
  Composable Loggers for the Julia Logging StdLib
  ☆144Updated 2 months ago
• gkappler / CombinedParsers.jl
  Compiled parser combinators and regular expressions in pure julia
  ☆79Updated 2 years ago
• jump-dev / Cbc.jl
  A Julia interface to the Coin-OR Branch and Cut solver (CBC)
  ☆84Updated last month
• mauro3 / SimpleTraits.jl
  Simple Traits for Julia
  ☆160Updated last year
• MichaelHatherly / Publish.jl
  A universal document authoring package for Julia.
  ☆98Updated 2 years ago
• JuliaCollections / IterTools.jl
  Common functional iterator patterns
  ☆155Updated this week
• jump-dev / AmplNLWriter.jl
  A Julia interface to AMPL-enabled solvers
  ☆70Updated this week