An advanced SAT solver
-
Updated
Oct 9, 2026 - C++
#
dpll
Here are 79 public repositories matching this topic...
A simple SAT solver that implements the DPLL algorithm with unit resolution
-
Updated
Sep 10, 2019 - C++
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
abstraction sat-solver software-verification ai-safety robustness dpll adversarial-attacks robustness-verification dnn-verification ai-assurance neural-network-veri
-
Updated
Aug 13, 2026 - Python
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
-
Updated
Sep 4, 2019 - C++
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
-
Updated
Apr 9, 2021 - C
DPLL boolean satisfiability solver for .NET
-
Updated
Oct 3, 2026 - C#
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
-
Updated
Jan 20, 2024 - Python
GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 30, 2026 - Python
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 30, 2026 - Python
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
-
Updated
May 20, 2026 - C++
GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 30, 2026 - Python
GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 30, 2026 - Python
GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) backtracking search.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) backtracking search.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 9, 2026 - Python
Add this topic to your repo
To associate your repository with the dpll topic, visit your repo's landing page and select "manage topics."