Spectrum is a first-order logic theorem prover, written in C++, that implements SIG-Res, an inference system that couples together SInst-Gen and ordered resolution into a single inference system.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
