Commit Graph

722 Commits

Author SHA1 Message Date
Alan Mishchenko 91a2eafc7a Fixing memory leak in the SAT sweeper. 2021-05-16 20:39:47 -07:00
Alan Mishchenko 5f8a8a596a Upgrade to the circuit-based solver. 2021-04-27 14:46:05 -07:00
Alan Mishchenko e44f409c1d Integrating Glucose into &sat. 2020-12-21 13:23:53 -08:00
Alan Mishchenko f06217e25a Compiler warnings. 2020-12-21 12:45:50 -08:00
Alan Mishchenko 230b759d16 Extending sweeper to handle XORs. 2020-11-16 08:42:04 -08:00
Alan Mishchenko dd07ec57be Extending sweeper to handle XORs. 2020-11-15 19:02:41 -08:00
Alan Mishchenko 28ea3adedb Improvements to the SAT sweeper (bug fix). 2020-11-15 00:55:43 -08:00
Alan Mishchenko 581f2e5972 Improvements to the SAT solver. 2020-11-14 22:45:23 -08:00
Alan Mishchenko bab4c1ddfc Upgrading the SAT solvers. 2020-11-14 14:23:49 -08:00
Alan Mishchenko 22388f901a Adding and integrating new SAT solver APIs. 2020-11-13 10:29:31 -08:00
Alan Mishchenko 38d72c4343 Duplicating Glucose package. 2020-11-13 00:14:33 -08:00
Alan Mishchenko 2f65566d43 Duplicating Glucose package. 2020-11-13 00:07:57 -08:00
Alan Mishchenko 5415fe521f Duplicating Glucose package. 2020-11-13 00:06:16 -08:00
Alan Mishchenko fd41920a10 Duplicating Glucose package. 2020-11-13 00:03:26 -08:00
Alan Mishchenko b3d3f7dd3a Duplicating Glucose package. 2020-11-12 23:57:46 -08:00
Alan Mishchenko 890aa684ab Adding Glucose API to return a CEX. 2020-11-12 08:30:33 -08:00
Alan Mishchenko 0b89fd387e Removing local file 'stdint.h' which was included by mistake, not even a header file. 2020-11-06 18:21:50 -08:00
Alan Mishchenko 5f163c0152 Fixing broken build and compiler warnings. 2020-04-17 10:32:38 -07:00
Alan Mishchenko 71fd9165e3 Correctly updating the failed output when recording the CEX in bmc3 -a. 2020-04-03 23:35:47 -07:00
Alan Mishchenko a277d450bf Experiments with simulation-based engines. 2020-03-25 12:17:12 -07:00
Alan Mishchenko 6b2fe00cd8 Changes to several APIs. 2019-11-01 00:58:12 +02:00
Alan Mishchenko c3837b95c1 Several suggested bug-fixes. 2019-09-13 18:47:08 -07:00
Alan Mishchenko 4256ad0acb Several suggested bug-fixes. 2019-09-13 17:28:00 -07:00
Alan Mishchenko 0bd265072d Adding license file for Glucose 3.0 2019-07-25 10:33:26 +07:00
Alan Mishchenko ee1bd8f0be Fixing some update gcc. 2019-07-24 11:44:28 +07:00
Alan Mishchenko 2de35735c5 Representing formula used in &fftest as a BLIF file. 2019-07-18 10:51:05 +02:00
Alan Mishchenko 544d50c553 Printing formula used in &fftest. 2019-07-03 00:20:59 +03:00
Alan Mishchenko afdaebe1b4 Experiments with counting care bits. 2019-05-23 11:22:43 -07:00
Alan Mishchenko 01569b8f5f Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. 2019-03-05 15:57:50 -08:00
Alan Mishchenko bc288a7633 Suggested white-space changes for fewer gcc warnings. 2019-03-04 14:29:57 -08:00
Alan Mishchenko 5aa3025ce7 Adding switch &w -n to modify the comment section of the AIGER file written. 2018-11-21 13:12:01 -08:00
Alan Mishchenko e9c00fb024 Usability improvements to &fftest. 2018-11-11 23:06:05 -08:00
Alan Mishchenko d798d61637 Adding timeout to twoexact and lutexact. 2018-09-08 17:15:37 +03:00
Alan Mishchenko ca4ddb08d1 Adding solution dumping in BLIF to 'twoexact'. 2018-09-03 01:49:00 +07:00
Alan Mishchenko a2d59be3f7 Integrating SAT-based CEX minimization (bug fix). 2018-03-25 18:19:06 -07:00
Alan Mishchenko e639e8fd1b Integrating SAT-based CEX minimization. 2018-03-25 16:46:09 -07:00
Bruno Schmitt eb4bee3e1d Small fix in satoko. 2018-02-20 20:31:39 +01:00
Alan Mishchenko 00fb1d706b Suggested fix to compile on FreeBSD. 2018-02-04 21:09:33 -08:00
Alan Mishchenko e4cd0d60f1 Experiments with SAT-based simulation. 2018-01-25 00:09:27 -08:00
Alan Mishchenko 066e8d1b17 Experiments with SAT-based simulation. 2018-01-23 19:45:17 -08:00
Alan Mishchenko 67e820a5eb Updates to exact synthesis commands. 2018-01-22 14:28:49 -08:00
Alan Mishchenko 6274498e01 Updates to exact synthesis commands. 2018-01-19 14:03:24 -08:00
Alan Mishchenko 7d781c37e8 New command 'testexact'. 2018-01-04 22:35:11 -08:00
Alan Mishchenko 834e248019 New command 'testexact'. 2018-01-04 22:33:29 -08:00
Alan Mishchenko f3dcf87cea New exact synthesis command 'allexact'. 2017-12-30 16:13:52 -08:00
Alan Mishchenko 75d334a0df New exact synthesis command 'allexact'. 2017-12-28 23:05:36 -08:00
Alan Mishchenko 7d7ce3ecd0 New exact synthesis command 'allexact'. 2017-12-28 23:04:24 -08:00
Alan Mishchenko c7b65a15d3 Adding parameter structure to 'twoexact' and 'lutexact'. 2017-12-06 15:09:11 -08:00
Alan Mishchenko 93b96fc35c An improvement to 'twoexact' and 'lutexact'. 2017-12-06 14:34:03 -08:00
Alan Mishchenko c6b962efc8 An improvement to 'twoexact' and 'lutexact'. 2017-12-06 13:51:10 -08:00