Alternatives and similar repositories for carl

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

• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 9 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆67Updated last week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated this week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆22Updated 4 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 4 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 3 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆109Updated 3 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated last week
• PRUNERS / FLiT
  A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
  ☆38Updated 8 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆39Updated 3 weeks ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆32Updated 4 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆168Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 3 years ago
• michibo / tropical-feynman-quadrature
  Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals
  ☆12Updated this week
• boostorg / ublas
  Boost.uBlas
  ☆116Updated 4 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• ssoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆13Updated last year