Alternatives and similar repositories for website

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

• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated 4 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆80Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆69Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆203Updated last week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆77Updated last month
• 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
  ☆616Updated 3 weeks ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆119Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 10 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• harshjv / travis-ci-latex-pdf
  Travis CI and deployment service to build PDF from LaTeX document.
  ☆170Updated 4 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆480Updated last week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆64Updated 10 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆64Updated this week
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆70Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• ths-rwth / carl
  ☆30Updated 4 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆36Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago