index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
sat
/
glucose
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Adding license file for Glucose 3.0
Alan Mishchenko
2019-07-25
1
-0
/
+32
|
*
Suggested white-space changes for fewer gcc warnings.
Alan Mishchenko
2019-03-04
1
-1
/
+1
|
*
Suggested fix to compile on FreeBSD.
Alan Mishchenko
2018-02-04
1
-1
/
+3
|
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-28
1
-0
/
+6
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-03
1
-5
/
+0
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-2
/
+2
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-2
/
+7
|
*
C++ comaptibility: add namespace support to Glucose
Baruch Sterin
2017-11-23
24
-13
/
+116
|
*
Extracting CSAT interface and several cleanups.
Alan Mishchenko
2017-11-13
1
-37
/
+0
|
*
Improvements to quantification.
Alan Mishchenko
2017-11-13
1
-8
/
+38
|
*
Compiler warnings.
Alan Mishchenko
2017-11-06
1
-2
/
+2
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
1
-30
/
+40
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
2
-26
/
+155
|
*
Improvements to quantification.
Alan Mishchenko
2017-10-29
1
-68
/
+184
|
*
Integrating Glucose into &qbf.
Alan Mishchenko
2017-10-17
3
-3
/
+3
|
*
Improvements to SAT based SOP computation.
Alan Mishchenko
2017-10-06
2
-24
/
+33
|
*
Experiments with SAT-based quantification.
Alan Mishchenko
2017-10-04
2
-8
/
+77
|
*
Experiments with SAT-based quantification.
Alan Mishchenko
2017-10-04
2
-26
/
+212
|
*
Addressing recently reported Bitbucket Issue #72 and #73.
Alan Mishchenko
2017-10-03
1
-1
/
+1
|
*
Fixing minimize_assuptions using Glucose.
Alan Mishchenko
2017-10-02
1
-53
/
+70
|
*
Enabling Glucose in SAT sweeping: &fraig -g.
Alan Mishchenko
2017-09-18
2
-0
/
+16
|
*
Changes to Glucose to enable resetting the solver.
Alan Mishchenko
2017-09-18
5
-0
/
+87
|
*
Compiler warning.
Alan Mishchenko
2017-09-16
1
-1
/
+1
|
*
Enabling variable elim in &bmcs -g.
Alan Mishchenko
2017-09-16
4
-7
/
+41
|
*
Adding support for Dimacs input to &satoko.
Alan Mishchenko
2017-09-16
1
-3
/
+3
|
*
Improvements in Glucose integration.
Alan Mishchenko
2017-09-16
1
-1
/
+1
|
*
Bug fix in Glucose integration.
Alan Mishchenko
2017-09-16
4
-27
/
+78
|
*
Undoing updates to &bmcs to help debugging.
Alan Mishchenko
2017-09-15
1
-20
/
+268
|
*
Changes and fixed suggested by Clifford Wolf.
Alan Mishchenko
2017-09-15
1
-2
/
+2
|
*
Updates to &bmcs to help debugging.
Alan Mishchenko
2017-09-12
2
-31
/
+32
|
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
1
-1
/
+1
|
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
4
-27
/
+157
|
*
Avoid command name collision.
Alan Mishchenko
2017-09-07
1
-2
/
+2
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
1
-1
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
3
-16
/
+19
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
3
-7
/
+7
|
*
Disabling CNF simplification in &bmcs -g.
Alan Mishchenko
2017-09-07
1
-27
/
+29
|
*
Trying to enable CNF simplification in &bmcs -g.
Alan Mishchenko
2017-09-07
3
-34
/
+61
|
*
Bug fix: forgot to init the runtime limit in Glucose.
Alan Mishchenko
2017-09-06
1
-0
/
+1
|
*
Integrating Glucose into bmc3 -g.
Alan Mishchenko
2017-09-06
4
-0
/
+19
|
*
More renaming.
Alan Mishchenko
2017-09-06
1
-5
/
+5
|
*
Renaming Glucose namespace to avoid collisions with external solvers.
Alan Mishchenko
2017-09-06
21
-55
/
+55
|
*
Integrating Glucose into &bmcs -g.
Alan Mishchenko
2017-09-06
4
-37
/
+119
|
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
1
-1
/
+2
|
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
1
-0
/
+6
|
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
27
-0
/
+8306