Alternatives and similar repositories for carl

Users that are interested in carl are comparing it to the libraries listed below

• ths-rwth / smtrat
  ☆55Updated this week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆136Updated last week
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆165Updated last year
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆76Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated 2 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• ssoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆12Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 4 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• martinjonas / Q3B
  ☆28Updated 3 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• eprover / eprover
  ☆146Updated this week
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆102Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆102Updated last year