greatspn / SOURCES

Related projects ⓘ

Alternatives and complementary repositories for SOURCES

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆17Updated 3 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 9 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• chuffed / chuffed
  The Chuffed CP solver
  ☆93Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆117Updated last week
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆40Updated 9 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆107Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated last week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated 11 months ago
• arminbiere / runlim
  ☆15Updated 8 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆88Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆156Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated last week
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆23Updated last month
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆86Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆17Updated 2 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆60Updated this week
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆12Updated 2 years ago
• ths-rwth / smtrat
  ☆52Updated 2 months ago
• SRI-CSL / PVS
  The People's Verification System
  ☆139Updated 2 weeks ago
• motib / LearnSAT
  SAT solver for education
  ☆25Updated 2 years ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆60Updated 4 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆64Updated 2 months ago
• arminbiere / gimsatul
  ☆32Updated 3 months ago