Alternatives and similar repositories for satispy:

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

• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 8 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated last month
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated last month
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆27Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated this week
• Z3Prover / bin
  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  ☆18Updated 5 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated last week
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆70Updated this week
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• mangpo / greenthumb
  ☆88Updated 2 years ago