MiniSat-p v1.14

This is a patched and slightly extended version of the MiniSat v1.14 solver with proof logging. The original source code, by Niklas Een and Niklas Sörensson, is available at the MiniSat page.

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
File.C		File.C
File.h		File.h
Global.h		Global.h
Heap.h		Heap.h
LICENSE		LICENSE
Main.C		Main.C
Makefile		Makefile
Proof.C		Proof.C
Proof.h		Proof.h
README.md		README.md
Solver.C		Solver.C
Solver.h		Solver.h
SolverTypes.h		SolverTypes.h
Sort.h		Sort.h
VarOrder.h		VarOrder.h

Navigation Menu

Repository navigation

About

Repository files navigation

MiniSat-p v1.14

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

MiniSat-p v1.14

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages