Alternatives and similar repositories for SOURCES

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

• motib / LearnSAT
  SAT solver for education
  ☆26Updated 3 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated 2 months ago
• vscosta / yap
  ☆62Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆56Updated last year
• fadoss / maude-bindings
  Language bindings for Maude
  ☆24Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated this week
• eprover / eprover
  ☆161Updated last month
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆156Updated 2 weeks ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆86Updated last month
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆34Updated 6 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• chuffed / chuffed
  The Chuffed CP solver
  ☆118Updated last week
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 5 months ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• FredMesnard / LPTP
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 4 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated 2 years ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated 3 weeks ago
• SRI-CSL / PVS
  The People's Verification System
  ☆166Updated last week
• rewriting / tom
  ☆34Updated 5 years ago