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 over 1 year ago - 1 comment

#35 - Fix NNF of empty conjunction and disjunction.

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

#34 - Fix cnfRec for more complex subclauses

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

#33 - Fix extra slice growth in rebuildOrderHeap

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

#32 - --count does not work

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

#31 - MUS still not correct

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

#30 - Run ParseSlice on a CNF instance programmatically

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

#29 - run gophersat

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

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

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

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

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

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

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

#25 - [Enhancement Proposal] Only one type of problem for Solve, Explain and MaxSAT

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

#24 - Fixing the error with MUS

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

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

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

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

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

#21 - Access to maxsat.Problem.solver

Issue - State: closed - Opened by sten13 about 4 years ago - 3 comments

#20 - Refactor IntToLit

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

#19 - GtEq Omit Zero Weights

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

#18 - Inconsistent results with/without weight of 0

Issue - State: closed - Opened by gopricy over 4 years ago - 6 comments

#17 - Fix panic

Pull Request - State: closed - Opened by frrad over 4 years ago - 3 comments

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

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

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

Issue - State: closed - Opened by highmtworks over 4 years ago

#14 - Fix Exactly1

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

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

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

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

Issue - State: closed - Opened by alexhein about 5 years ago - 2 comments

#11 - Sover panics in special circumstances.

Issue - State: closed - Opened by alexhein over 5 years ago - 2 comments

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

Pull Request - State: closed - Opened by adam1 over 5 years ago - 2 comments

#9 - Fix Bug in bf.Unique

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

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

Issue - State: closed - Opened by k-toffel over 5 years ago - 1 comment

#7 - undefined: solver.ParsePBConstrs

Issue - State: closed - Opened by sciolizer about 6 years ago - 2 comments

#6 - gometalinter issues

Issue - State: closed - Opened by dgryski over 6 years ago - 3 comments

#5 - Wrong result (SAT instead of UNSAT)

Issue - State: closed - Opened by theosotr over 6 years ago - 1 comment

#4 - LGPL?

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

#3 - hello world sat

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

#1 - add travis yml file

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