GitHub - samowre/KoT: Kernel of Truth

Name		Name	Last commit message	Last commit date
Latest commit History 572 Commits
PVS2Why-0.1		PVS2Why-0.1
booleforce-1.1		booleforce-1.1
conversion		conversion
finseq		finseq
kot		kot
lists		lists
others		others
picosat-913		picosat-913
report		report
sat		sat
sequence		sequence
.gitignore		.gitignore
TODO.pvs		TODO.pvs
deparray.lisp		deparray.lisp
interp.pvs		interp.pvs
lisp-trace-checker.lisp		lisp-trace-checker.lisp
pico.lisp		pico.lisp
pico2.lisp		pico2.lisp