StephanGocht / VeriPBLinks
Verifier for pseudo-Boolean proofs
☆15Updated 3 years ago
Alternatives and similar repositories for VeriPB
Users that are interested in VeriPB are comparing it to the libraries listed below
Sorting:
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated last year
- The DRAT-trim proof checker☆65Updated 11 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆38Updated 2 years ago
- SAT Solver SATCH☆119Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 7 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Qute: a dependency learning QBF solver.☆14Updated 10 months ago
- Convex optimization modeling in Lean 4☆55Updated last year
- ☆59Updated 3 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- ☆22Updated last year
- The LTSmin model checking toolset☆59Updated last year
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- Logic and Mechanized Reasoning☆107Updated last week
- StarExec is a cross community logic solving service☆20Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated last year
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last week
- tool for turning Lean proofs into Blender animations☆74Updated 2 months ago
- Synthesis Format Conversion Tool☆26Updated 3 weeks ago
- An encyclopedia of proofs☆63Updated 11 months ago