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

#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 over 4 years ago - 2 comments
Labels: bug

#156 - Verifying models and optima

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

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

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

#154 - Incorrect solution for a linear constraint problem

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

#152 - End Python2 Support

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

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

Issue - State: closed - Opened by soonho-tri about 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 almost 6 years ago - 2 comments
Labels: enhancement

#85 - Support get-objectives

Issue - State: open - Opened by soonho-tri about 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 almost 7 years ago - 1 comment
Labels: next