summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcMaj.c
Commit message (Expand)AuthorAgeFilesLines
* Add WASI support in Exa4_ManSolve.Catherine2023-02-041-0/+4
* Various changes.Alan Mishchenko2022-08-301-1/+9
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-081-1/+1
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-081-10/+264
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-071-3/+3
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-071-1/+1001
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-041-7/+24
* Improvements to command 'twoexact'.Alan Mishchenko2022-08-031-17/+110
* Fixing some update gcc.Alan Mishchenko2019-07-241-1/+1
* Adding timeout to twoexact and lutexact.Alan Mishchenko2018-09-081-3/+14
* Adding solution dumping in BLIF to 'twoexact'.Alan Mishchenko2018-09-031-0/+56
* Updates to exact synthesis commands.Alan Mishchenko2018-01-221-1/+0
* Updates to exact synthesis commands.Alan Mishchenko2018-01-191-23/+123
* 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-0/+4
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-0/+20
* Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-9/+26
* An improvement to 'twoexact' and 'lutexact'.Alan Mishchenko2017-12-061-4/+19
* New command 'lutexact'.Alan Mishchenko2017-12-051-2/+371
* Adding random search in exact synthesis.Alan Mishchenko2017-10-201-1/+2
* Another variation on exact synthesis.Alan Mishchenko2017-10-111-0/+354
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-7/+17
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-5/+12
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-0/+373