GitHub - SirVeggie/DPLL-CDCL-SAT-Solvers: Basic DPLL and CDCL SAT solver implementations

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.vs/SAT-Solver		.vs/SAT-Solver
Properties		Properties
bin/Debug/netcoreapp3.1		bin/Debug/netcoreapp3.1
obj		obj
sat-instances		sat-instances
.gitignore		.gitignore
CDCL.cs		CDCL.cs
Clause.cs		Clause.cs
Conflict.cs		Conflict.cs
DPLL.cs		DPLL.cs
Literal.cs		Literal.cs
Program.cs		Program.cs
SAT-Solver.csproj		SAT-Solver.csproj
SAT-Solver.csproj.user		SAT-Solver.csproj.user
SAT-Solver.sln		SAT-Solver.sln
SATSolver.cs		SATSolver.cs
SolverResult.cs		SolverResult.cs
Trail.cs		Trail.cs
TrailNode.cs		TrailNode.cs