issues
search
shnarazk
/
mios
A SAT solver written in Haskell.
https://gitlab.com/satisfiability01/mios/
GNU General Public License v3.0
39
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Segmentation fault when used as a library
#89
potocpav
opened
5 years ago
0
160fix1
#88
shnarazk
closed
6 years ago
0
The timeout doesn't work in some cases.
#87
shnarazk
closed
6 years ago
1
Discord interface
#86
shnarazk
closed
6 years ago
1
2018-04 recycle proxy
#85
shnarazk
closed
6 years ago
6
sort clauses without proxy vectors
#84
shnarazk
closed
6 years ago
2
cherry picking 1.6.1
#83
shnarazk
closed
6 years ago
0
cherry picking from WIP-for-1.6.1
#82
shnarazk
closed
6 years ago
0
the second branch for 1.6.1
#81
shnarazk
closed
6 years ago
7
comparison of clause layouts
#80
shnarazk
closed
6 years ago
6
ACIDS
#79
shnarazk
closed
6 years ago
1
a comparison of IO layer
#78
shnarazk
closed
6 years ago
3
revising memory management
#77
shnarazk
closed
6 years ago
3
A new clause criterion
#76
shnarazk
closed
6 years ago
1
Iceberg!
#75
shnarazk
closed
6 years ago
0
start a new branch: 2018-01-NDL
#74
shnarazk
closed
6 years ago
1
drop the first restart mode
#73
shnarazk
closed
6 years ago
2
preparation for revising EMA-based Glucose Heuristics
#72
shnarazk
closed
6 years ago
0
Mios version 1.6.1
#71
shnarazk
closed
6 years ago
2
better EMA computation
#70
shnarazk
closed
6 years ago
0
abort handling
#69
shnarazk
closed
6 years ago
0
mios version 1.6.0
#68
shnarazk
closed
6 years ago
0
mios version 1.5.4
#67
shnarazk
closed
6 years ago
0
128bit sort key
#66
shnarazk
closed
6 years ago
3
A new branch bitvector256 to evaluate decision level's window size fo…
#65
shnarazk
closed
6 years ago
1
a new branch: define a new type representing solver's result
#64
shnarazk
closed
6 years ago
1
parse on fd
#63
shnarazk
closed
6 years ago
0
EMA restart
#62
shnarazk
closed
6 years ago
10
mios version 1.5.3
#61
shnarazk
closed
6 years ago
3
Placing biclauses at the head of Watch lists
#60
shnarazk
closed
6 years ago
4
ERA: experimentation on reset variable/clause activity
#59
shnarazk
closed
6 years ago
4
Sync with mvar
#58
shnarazk
closed
6 years ago
1
EXPERIMENTAL BRANCH on clause weight (activity)
#57
shnarazk
closed
6 years ago
0
add options for benchmark
#56
shnarazk
closed
6 years ago
0
Binary clause implementation 2017-11
#55
shnarazk
closed
6 years ago
2
merge-biclause
#54
shnarazk
closed
6 years ago
0
clauseNew: fix the initial blocker values
#53
shnarazk
closed
6 years ago
3
Fix bugs in simplifyDB and analyze in 1.5.0
#52
shnarazk
closed
6 years ago
5
Biclause comparison on itox
#51
shnarazk
closed
6 years ago
9
fix crashes by SC17main/mp1-21.*.cnf
#50
shnarazk
closed
6 years ago
0
Investigate biclause distribution and contribution (not-for-merge)
#49
shnarazk
closed
6 years ago
0
Biclause optimization
#48
shnarazk
closed
6 years ago
8
mios version 1.5.1 #47
#47
shnarazk
closed
6 years ago
1
mios version 1.5.1
#46
shnarazk
closed
6 years ago
1
Optimization on SLA-ordering
#45
shnarazk
closed
7 years ago
5
Compare with 8232f99
#44
shnarazk
closed
7 years ago
7
Update learnt DB's size as same as MiniSat 2.2 does
#43
shnarazk
closed
7 years ago
2
sort clauses by size-lbd-activity
#42
shnarazk
closed
7 years ago
18
1.4.2: Catch up MiniSat 2 mostly (41)
#41
shnarazk
closed
6 years ago
4
toggle phases after restart (alternative of `Solver::rebuildOrderHeap`)
#40
shnarazk
closed
7 years ago
3
Next