Alan Mishchenko 3241a595ba Bug fix by Ai Quoc Dao.		2022-06-08 08:50:37 -07:00
..
abc	Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose().	2022-04-02 23:44:57 -07:00
abci	Bug fix by Ai Quoc Dao.	2022-06-08 08:50:37 -07:00
acb	Move CI to GitHub Actions.	2022-01-22 18:34:43 +02:00
bac	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
cba	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	2021-09-26 11:30:54 -07:00
cmd	Integrated Kissat, by Armin Biere, as an external binary.	2022-06-02 09:35:06 -07:00
exor	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
io	Supporting new resub problem format.	2022-06-02 07:47:33 -07:00
main	Supporting new resub problem format.	2022-06-02 07:47:33 -07:00
pla	Cosmetic changes after incorporating new code of 'fxch'.	2016-05-11 20:03:13 -07:00
test	Updating project settings to have simpler include paths.	2012-07-07 20:14:12 -07:00
ver	Various changes.	2020-03-21 14:02:54 -07:00
wlc	Removing duplicated command.	2022-04-26 18:54:12 -07:00
wln	Renaming switch '-i' into '-c' in %collapse.	2022-06-05 18:28:51 -07:00