3 Commits

Author	SHA1	Message	Date
KtorZ	52974aed75	Add clausify benchmark.	2024-07-17 12:53:19 +02:00
KtorZ	f14dab9547	Collect results from previous versions in a README.	2024-07-17 12:52:29 +02:00
microproofs	8f825f68b1	commit new example for benchmarking	2024-07-17 12:52:28 +02:00