Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / crillab/gophersat issues and pull requests

#36 - bf.Solve panics with repeated vars in Or

Issue - State: open - Opened by ciaran-mcquade almost 2 years ago - 1 comment

#35 - Fix NNF of empty conjunction and disjunction.

Pull Request - State: open - Opened by DrJosh9000 over 3 years ago

#34 - Fix cnfRec for more complex subclauses

Pull Request - State: open - Opened by DrJosh9000 over 3 years ago

#33 - Fix extra slice growth in rebuildOrderHeap

Pull Request - State: open - Opened by jbowes over 3 years ago

#32 - --count does not work

Issue - State: open - Opened by fg-dev over 3 years ago

#31 - MUS still not correct

Issue - State: closed - Opened by rkkautsar over 3 years ago - 2 comments

#30 - Run ParseSlice on a CNF instance programmatically

Issue - State: closed - Opened by alvinary over 3 years ago

#29 - run gophersat

Issue - State: open - Opened by rlacjfjin over 4 years ago

#28 - Assume() should return SAT in the case of a Propagation-complete problem.

Issue - State: open - Opened by Mystelven over 4 years ago - 1 comment

#27 - MUS returned on satisfiable formula: Status from solver.Solve() used.

Pull Request - State: closed - Opened by Mystelven over 4 years ago

#26 - [Problem] a satisfiable formula has also a MUS. It should not be possible.

Issue - State: closed - Opened by Mystelven over 4 years ago - 1 comment

#24 - Fixing the error with MUS

Pull Request - State: closed - Opened by Mystelven over 4 years ago

#23 - The MUS extraction in Gophersat provides a wrong result

Issue - State: closed - Opened by Mystelven over 4 years ago - 3 comments

#22 - Ensure identity of empty And() and Or()

Pull Request - State: closed - Opened by thecrypticace over 4 years ago

#21 - Access to maxsat.Problem.solver

Issue - State: closed - Opened by sten13 almost 5 years ago - 3 comments

#20 - Refactor IntToLit

Pull Request - State: closed - Opened by frrad about 5 years ago

#19 - GtEq Omit Zero Weights

Pull Request - State: closed - Opened by frrad about 5 years ago

#18 - Inconsistent results with/without weight of 0

Issue - State: closed - Opened by gopricy about 5 years ago - 6 comments

#17 - Fix panic

Pull Request - State: closed - Opened by frrad about 5 years ago - 3 comments

#16 - Interpretation of bf.And() and bf.Or()

Issue - State: closed - Opened by highmtworks about 5 years ago - 1 comment

#15 - bf.Solve() panics with some inputs

Issue - State: closed - Opened by highmtworks about 5 years ago

#14 - Fix Exactly1

Pull Request - State: closed - Opened by frrad over 5 years ago

#13 - `solver.Exactly1` returns incorrect `AtLeast1` constraint.

Issue - State: closed - Opened by Gaboose over 5 years ago

#12 - Panics / infinite loop for certain maxsat instances.

Issue - State: closed - Opened by alexhein almost 6 years ago - 2 comments

#11 - Sover panics in special circumstances.

Issue - State: closed - Opened by alexhein almost 6 years ago - 2 comments

#10 - Fix bug in bf NNF -> CNF conversion

Pull Request - State: closed - Opened by adam1 about 6 years ago - 2 comments

#9 - Fix Bug in bf.Unique

Pull Request - State: closed - Opened by frrad about 6 years ago - 5 comments

#8 - Incorrect number of models after creating problem with ParseSlice

Issue - State: closed - Opened by k-toffel about 6 years ago - 1 comment

#7 - undefined: solver.ParsePBConstrs

Issue - State: closed - Opened by sciolizer almost 7 years ago - 2 comments

#6 - gometalinter issues

Issue - State: closed - Opened by dgryski almost 7 years ago - 3 comments

#5 - Wrong result (SAT instead of UNSAT)

Issue - State: closed - Opened by theosotr about 7 years ago - 1 comment

#4 - LGPL?

Issue - State: closed - Opened by sean- over 7 years ago - 1 comment

#3 - hello world sat

Issue - State: closed - Opened by ronaldpetty over 7 years ago - 2 comments

#1 - add travis yml file

Pull Request - State: closed - Opened by 9034725985 over 7 years ago