Alternatives and similar repositories for carl

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

• ths-rwth / smtrat
  ☆60Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated last week
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆178Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 2 weeks ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 3 weeks ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆58Updated 2 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated last week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• martinjonas / Q3B
  ☆31Updated 3 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆50Updated 10 years ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆439Updated 3 months ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 5 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆314Updated last month
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆82Updated 4 months ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆80Updated last week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated 2 weeks ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆147Updated 2 weeks ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆369Updated last week
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆27Updated 3 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆39Updated 3 years ago
• ibex-team / ibex-lib
  IBEX is a C++ library for constraint processing over real numbers.
  ☆85Updated 2 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆29Updated 13 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated 2 months ago