Alternatives and similar repositories for website

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

• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆157Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 7 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 8 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆200Updated last month
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆466Updated this week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• ths-rwth / carl
  ☆30Updated 2 months ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated 3 weeks ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆102Updated last year
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• harshjv / travis-ci-latex-pdf
  Travis CI and deployment service to build PDF from LaTeX document.
  ☆170Updated 4 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated 2 weeks ago
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆7Updated 8 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆427Updated last month
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆76Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆610Updated this week
• arminbiere / kissat
  ☆550Updated 3 weeks ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆274Updated this week
• msoos / cryptominisat
  An advanced SAT solver
  ☆868Updated this week