Alternatives and similar repositories for satispy:

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 5 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 5 months ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 9 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 4 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆68Updated 5 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆29Updated 2 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆72Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated this week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated 2 weeks ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆74Updated last year
• mrocklin / unification
  ☆72Updated 3 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆175Updated 8 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆53Updated last month
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 6 years ago