issues
search
conp-solutions
/
riss
Riss SAT Solver
GNU Lesser General Public License v2.1
8
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix double free
#26
AntonReinhard
closed
2 years ago
4
coprocessor_for_modelcounting.sh changes model count
#25
AntonReinhard
opened
2 years ago
3
Ci 2
#24
conp-solutions
opened
2 years ago
2
GitHub ci
#23
conp-solutions
closed
2 years ago
0
Backbone action
#22
conp-solutions
closed
1 year ago
1
Action
#21
conp-solutions
opened
2 years ago
0
modelcount,simplify: limit keep vars
#20
conp-solutions
closed
2 years ago
1
Add backbone detection and Bipartition & Elimination preprocessing
#19
AntonReinhard
closed
2 years ago
1
Memory error crash, reproducible
#18
msoos
opened
3 years ago
2
Fixing missing <limits> include
#17
msoos
closed
2 years ago
0
riss (7.1) outputs blank line before s UNSATISFIABLE
#16
jwaldmann
closed
2 years ago
1
cfm: add fallback
#15
conp-solutions
closed
4 years ago
0
cfm: fake unsat
#14
conp-solutions
closed
4 years ago
0
cfm: fix CLI
#13
conp-solutions
closed
4 years ago
0
Fix assert
#12
conp-solutions
closed
4 years ago
0
Model counting
#11
conp-solutions
closed
4 years ago
0
coverity: update travis file
#10
conp-solutions
closed
4 years ago
0
init: only run if required
#9
conp-solutions
closed
5 years ago
0
Cmake flags
#8
conp-solutions
closed
5 years ago
1
coprocessor: do not reset white file to 0
#7
conp-solutions
closed
6 years ago
0
Clang4
#6
conp-solutions
closed
6 years ago
0
Clang
#5
conp-solutions
closed
6 years ago
0
Sat2018
#4
conp-solutions
closed
6 years ago
1
checker: print files in case of 134 and 139
#3
conp-solutions
closed
6 years ago
0
Lcm
#2
conp-solutions
closed
6 years ago
0
tools: improve model checker
#1
conp-solutions
closed
6 years ago
0