RalfRothenberger / Power-Law-Random-SAT-Generator
Power Law Random k-SAT Generator
☆14Updated 3 years ago
Alternatives and similar repositories for Power-Law-Random-SAT-Generator:
Users that are interested in Power-Law-Random-SAT-Generator are comparing it to the libraries listed below
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 8 months ago
- Lingeling SAT Solver☆99Updated 10 months ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- Management of Benchmark Instances and Instance Attributes☆18Updated 3 months ago
- Structured BVA☆33Updated 9 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 6 months ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆22Updated 2 years ago
- A Simple CDCL Solver☆28Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- Encoding different problems into Boolean satisfiability☆11Updated 2 years ago
- ☆490Updated last week
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- The first scalable probabilistic exact counter☆28Updated 9 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆93Updated 4 months ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆18Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆44Updated 4 years ago
- RevKit: Python quantum compilation library and framework☆25Updated 5 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- Quantum circuit analysis toolkit☆67Updated this week
- ☆34Updated 6 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- ☆22Updated 4 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- Manthan for Boolean function synthesis☆31Updated last year
- SAT Solver SATCH☆113Updated 2 years ago
- Approximate Model Counter☆70Updated 6 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 4 months ago