index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
sat
/
glucose
/
Glucose.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Adding option to dump CNF after preprocessing in &glucose.
Alan Mishchenko
2022-02-02
1
-1
/
+1
*
Upgrading the SAT solvers.
Alan Mishchenko
2020-11-14
1
-1
/
+1
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-28
1
-0
/
+6
*
C++ comaptibility: add namespace support to Glucose
Baruch Sterin
2017-11-23
1
-1
/
+5
*
Changes to Glucose to enable resetting the solver.
Alan Mishchenko
2017-09-18
1
-0
/
+63
*
Bug fix in Glucose integration.
Alan Mishchenko
2017-09-16
1
-2
/
+2
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
1
-1
/
+1
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
1
-24
/
+14
*
Compiler warnings.
Alan Mishchenko
2017-09-07
1
-1
/
+1
*
Compiler warnings.
Alan Mishchenko
2017-09-07
1
-11
/
+11
*
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
1
-0
/
+1
*
More renaming.
Alan Mishchenko
2017-09-06
1
-5
/
+5
*
Renaming Glucose namespace to avoid collisions with external solvers.
Alan Mishchenko
2017-09-06
1
-1
/
+1
*
Integrating Glucose into &bmcs -g.
Alan Mishchenko
2017-09-06
1
-7
/
+7
*
Adding Glucose 3.0 as a separate package.
Alan Mishchenko
2017-09-06
1
-0
/
+1438