search

nick8325 / jukebox

A theorem prover
BSD 3-Clause "New" or "Revised" License
13 stars 0 forks source link

Clausifier should be lazy #1

Open nick8325 opened 8 years ago