Ecosyste.ms: Issues

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

GitHub / dreal/dreal4 issues and pull requests

#219 - feat(smt2): Add --smt2-compliant option

Pull Request - State: closed - Opened by soonho-tri over 4 years ago - 2 comments
Labels: smt2

#218 - Support (set-logic ALL)

Pull Request - State: closed - Opened by soonho-tri over 4 years ago
Labels: smt2

#217 - Standardize output for check-sat

Issue - State: closed - Opened by LeventErkok over 4 years ago - 9 comments
Labels: smt2

#216 - Support `(set-logic ALL)`

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

#207 - Support `get-value` command of SMTLib

Issue - State: closed - Opened by LeventErkok over 4 years ago - 5 comments
Labels: smt2

#183 - Assertion violation at contractor_forall.h:74

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

#182 - std::runtime errror at generic_contractor_generator.cc:135

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

#181 - heap-buffer-overflow at ibex_mistral_Bitset.h:204

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

#171 - Expected UNSAT, got a model

Issue - State: closed - Opened by AndreaCallia almost 5 years ago - 2 comments
Labels: bug

#156 - Verifying models and optima

Issue - State: closed - Opened by FilippoBiga about 5 years ago - 6 comments
Labels: bug

#155 - How to "dReal --proof xxx.smt" with v4?

Issue - State: closed - Opened by zeta1999 about 5 years ago - 4 comments

#154 - Incorrect solution for a linear constraint problem

Issue - State: closed - Opened by xrloong about 5 years ago - 2 comments
Labels: bug

#152 - End Python2 Support

Issue - State: closed - Opened by soonho-tri about 5 years ago - 1 comment
Labels: python

#136 - python: min, max shadow the builtin functions

Issue - State: closed - Opened by soonho-tri over 5 years ago - 1 comment
Labels: enhancement, python

#130 - macOS pip issue

Issue - State: closed - Opened by ghost over 5 years ago - 12 comments
Labels: python, build

#93 - Randomization of dReal

Issue - State: closed - Opened by AndreaCallia over 6 years ago - 2 comments
Labels: enhancement

#85 - Support get-objectives

Issue - State: open - Opened by soonho-tri over 6 years ago
Labels: smt2

#75 - Support get-unsat-core

Issue - State: open - Opened by soonho-tri over 6 years ago - 1 comment
Labels: smt2

#16 - Add option for decomposing a complex expression into subexpressions

Issue - State: closed - Opened by soonho-tri about 7 years ago - 1 comment
Labels: next