alanminko 5611ca0bbb Merge pull request #503 from AdvaySingh1/ISSUE-479 ... Added fix for write_cnf adding extra clauses on direct PI-PO		2026-05-02 21:19:31 -07:00
..
bmc	Improving callbacks in &bmcG	2026-04-25 17:42:06 -07:00
bsat	Convert the other divide to a multiply	2024-09-03 04:48:07 +00:00
bsat2	Patch to support WASI builds	2024-08-07 14:49:13 +02:00
cadical	Update cadical VERSION	2026-01-04 12:41:58 -08:00
cnf	Added fix for write_cnf adding extra clauses on direct PI-PO	2026-04-23 13:09:26 -05:00
csat	Updating project settings to have simpler include paths.	2012-07-07 20:14:12 -07:00
glucose	Fix out-of-bound bug in &glucose	2026-04-30 18:04:04 -07:00
glucose2	Fix out-of-bound bug in &glucose	2026-04-30 18:04:04 -07:00
kissat	Merge pull request #447 from mmicko/mingw_wasi	2025-11-27 08:28:01 -08:00
lsat	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
msat	Move CI to GitHub Actions.	2022-01-22 18:34:43 +02:00
proof	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
psat	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
satoko	Compiler warnings.	2020-12-21 12:45:50 -08:00
xsat	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00