netom / satispyLinks
An interface to SAT solver tools (like minisat)
☆60Updated 2 years ago
Alternatives and similar repositories for satispy
Users that are interested in satispy are comparing it to the libraries listed below
Sorting:
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- VATA Tree Automata Library☆32Updated 9 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- ☆43Updated 7 years ago
- Python term rewriting☆29Updated 12 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- ☆40Updated 6 years ago
- probabilistic programming for PL folks☆156Updated 3 years ago
- ☆26Updated 3 years ago
- Metamath verifier in Python☆39Updated last year
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Updated 5 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- deep learning for math☆29Updated 6 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated 2 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- ☆71Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆21Updated last year
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago