Giters
crillab
/
gophersat
gophersat, a SAT solver in Go
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
368
Watchers:
12
Issues:
23
Forks:
23
crillab/gophersat Issues
bf.Solve panics with repeated vars in Or
Updated
a year ago
Comments count
1
--count does not work
Updated
3 years ago
MUS still not correct
Closed
3 years ago
Comments count
2
Run ParseSlice on a CNF instance programmatically
Closed
3 years ago
[Problem] a satisfiable formula has also a MUS. It should not be possible.
Closed
4 years ago
Comments count
1
run gophersat
Updated
4 years ago
Assume() should return SAT in the case of a Propagation-complete problem.
Updated
4 years ago
Comments count
1
[Enhancement Proposal] Only one type of problem for Solve, Explain and MaxSAT
Updated
4 years ago
Comments count
1
The MUS extraction in Gophersat provides a wrong result
Closed
4 years ago
Comments count
3
Interpretation of bf.And() and bf.Or()
Closed
4 years ago
Comments count
1
Inconsistent results with/without weight of 0
Closed
4 years ago
Comments count
6
Access to maxsat.Problem.solver
Closed
4 years ago
Comments count
3
bf.Solve() panics with some inputs
Closed
4 years ago
`solver.Exactly1` returns incorrect `AtLeast1` constraint.
Closed
5 years ago
Incorrect number of models after creating problem with ParseSlice
Closed
5 years ago
Comments count
1
Panics / infinite loop for certain maxsat instances.
Closed
5 years ago
Comments count
2
Sover panics in special circumstances.
Closed
5 years ago
Comments count
2
undefined: solver.ParsePBConstrs
Closed
6 years ago
Comments count
2
gometalinter issues
Closed
6 years ago
Comments count
3
LGPL?
Closed
7 years ago
Comments count
1
Wrong result (SAT instead of UNSAT)
Closed
7 years ago
Comments count
1
hello world sat
Closed
7 years ago
Comments count
2
would be good to put these test files into the repo instead of living in some home dir
Closed
7 years ago
Comments count
1