Approximate Model Counter
-
Updated
Feb 14, 2026 - C++
#
cnf-clauses
Here are 26 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
UniGen approximately uniform sampler
-
Updated
Jul 24, 2025 - C++
A Free World Class High Performance SAT Solver
-
Updated
Jul 12, 2021 - JavaScript
CMSGen, a fast weighted uniform-like sampler
-
Updated
Nov 26, 2025 - C++
Efficient and customizable CNF parser for SAT solving.
-
Updated
Jul 26, 2020 - Rust
An ROBDD & CDCL based SAT solver
-
Updated
Dec 11, 2021 - Go
Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL
-
Updated
Feb 11, 2026 - Python
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI
-
Updated
Jan 26, 2019 - Python
Parses conjunctive normal form hyperblock notation to parallel coordinate graph visualizations. Hyperblocks are an interpretable way to build machine learning models.
machine-learning parallel-coordinates cnf-clauses conjunctive-normal-form mathematical-parser mathematical-visualization hyperrectangles hyperblock
-
Updated
Dec 24, 2024 - Python
Conversor to WPM(1,3), dimacs format
-
Updated
Apr 19, 2018 - Python
This project implements multiple solvers for the Gem Hunter (originally from the game Minesweeper) game and compares the performance.
-
Updated
May 10, 2024 - Python
This program checks if an input CNF is satisfiable or not to check logical entailment.
-
Updated
Nov 19, 2020 - Jupyter Notebook
Implementation of n x n SAT Sudoku solver using minisat
-
Updated
Apr 2, 2021 - Java
In this repository I show how to perform a parallel BFS on graph constructed from CNF formulas.
-
Updated
Apr 11, 2021 - Cuda
Knowledgebase agent designed to solve a Minesweeper board
-
Updated
Nov 5, 2020 - Jupyter Notebook
✏ SAT approach for 8-queens problem
-
Updated
Apr 22, 2022 - Python
Modeling and solving Discovery of Drug Agencies(an NP class problem) as a SAT Problem. See the problem statement for more details.
-
Updated
Jan 10, 2019 - Python
This project was designed to serve as a research-grade symbolic reasoning dashboard that helps others explore the bridge between computational logic and interactive visualization.
python matrix python3 z3 cnf sat-solver smt sat collatz-conjecture 3sat horn-clauses z3-smt-solver cnf-clauses tseitin-transformation wsl-ubuntu 2sat goldbach-conjecture collatz-conjecture-visualizer
-
Updated
Nov 21, 2025 - Python
Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic
artificial-intelligence logic-programming propositional-logic mathematical-logic cnf-clauses forward-chaining
-
Updated
Aug 11, 2018 - Java
Improve this page
Add a description, image, and links to the cnf-clauses topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cnf-clauses topic, visit your repo's landing page and select "manage topics."