summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcMaj2.c
Commit message (Expand)AuthorAgeFilesLines
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-281-3/+21
* Adding parameter structure to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-41/+33
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-0/+8
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-0/+4
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-3/+6
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-1/+50
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-0/+22
* Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-8/+26
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-4/+20
* New command 'lutexact'.Alan Mishchenko2017-12-051-3/+382
* Adding random search in exact synthesis.Alan Mishchenko2017-10-201-15/+122
* Integrating old SAT solver into majexact and twoexact.Alan Mishchenko2017-10-191-0/+745
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 01:26:57 +0000