Ecosyste.ms: Issues

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

GitHub / c-cube/batsat issues and pull requests

#22 - Improve API to allow for more optimizations

Pull Request - State: closed - Opened by dewert99 3 days ago - 1 comment

#21 - Theory lemmas

Pull Request - State: closed - Opened by dewert99 6 months ago

#19 - Allow empty theory conflict

Pull Request - State: open - Opened by dewert99 8 months ago

#18 - Expand API for smt solver to implement push/pop

Pull Request - State: open - Opened by dewert99 8 months ago

#17 - SMT-style push/pop assertion levels

Pull Request - State: closed - Opened by dewert99 8 months ago - 2 comments

#16 - Theory propegation requirements

Issue - State: open - Opened by dewert99 8 months ago - 2 comments

#15 - Make methods for `AsyncInterrupt` public

Pull Request - State: closed - Opened by dewert99 9 months ago

#14 - Make literal picker break activity ties by picking smaller variable

Pull Request - State: open - Opened by dewert99 9 months ago - 5 comments

#13 - Fix theory ground conflict bug

Pull Request - State: closed - Opened by dewert99 9 months ago - 2 comments

#12 - Add more flexible model API

Pull Request - State: closed - Opened by dewert99 9 months ago - 2 comments

#11 - Remove async interrupt

Pull Request - State: closed - Opened by dewert99 9 months ago - 4 comments

#10 - Bug when theory produces conflict at decision level 0

Issue - State: closed - Opened by dewert99 9 months ago
Labels: bug

#9 - Add some useful papers

Pull Request - State: closed - Opened by nbraud about 4 years ago - 1 comment

#8 - batsat: Make `log` visible at the crate-level, regardless of feature

Pull Request - State: closed - Opened by nbraud about 4 years ago - 1 comment

#7 - solver panics when called twice

Issue - State: closed - Opened by mmaroti over 4 years ago - 12 comments
Labels: bug

#6 - finish ipasir interface

Issue - State: closed - Opened by c-cube almost 6 years ago
Labels: enhancement, help wanted

#5 - preprocessing/inprocessing

Issue - State: open - Opened by c-cube almost 6 years ago
Labels: enhancement

#4 - glucose heuristics

Issue - State: open - Opened by c-cube almost 6 years ago
Labels: enhancement

#3 - Fix osx build

Pull Request - State: closed - Opened by mattjbray about 6 years ago

#2 - fix makefile for macOS

Pull Request - State: closed - Opened by Bronsa about 6 years ago

#1 - fix batsat-ocaml build for macOS

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