Skip to content

Issues: dreal/dreal4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

39 Open 199 Closed
39 Open 199 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Install Fail on WSL2
#312 opened Mar 28, 2024 by yogurt-shadow
Encountered issues with automatic theorem proving using dReal
#311 opened Dec 30, 2023 by cao-jian
How to run dReach from Docker
#310 opened Oct 20, 2023 by akaph2p
env: python2.7: No such file or directory
#308 opened Oct 8, 2023 by mahiiizkr
3
Trouble Building
#307 opened Sep 28, 2023 by keks
13
Geeting wrong delta-sat model on unsat query.
#302 opened Jul 24, 2023 by trivedi-nitesh
Unable to install dreal4
#297 opened Mar 28, 2023 by ThisIsJairo
11
Question about encoding in dreach format
#288 opened Dec 26, 2022 by elmiraafra
Missing image in documentation?
#285 opened Oct 9, 2022 by pwintz
2
[Bug] Unsat with large hexadecimal constant for Ints bug
#284 opened Sep 30, 2022 by PaulBonnot
@soonhokong
1
Same assertions are incorrectly SAT with ints and UNSAT with reals.
#280 opened Aug 29, 2022 by kunalsheth
Issue with installing and configuring IBEX during dependency installation on Mac M1 Chip
#279 opened Aug 4, 2022 by ameesh-shah
@soonhokong
1
Solving DNN with dreal question
#278 opened Jul 31, 2022 by Krayn
@soonhokong
12
option for timeout enhancement
#269 opened Jun 15, 2022 by soonhokong
@soonhokong
2
python binding support
#268 opened Jun 1, 2022 by kgoyal40
Soundness Bug with QF_NRA formula.
#265 opened Mar 29, 2022 by KJongUk
1
Rounding when using very large integers bug
#264 opened Mar 9, 2022 by rasheedja
@soonhokong
1
ibex-2.8.6 enhancement
#261 opened Oct 4, 2021 by soonhokong
3 tasks
@soonhokong
2
Unsoundness bug with smt2 file over arctan2 function. bug
#258 opened Aug 2, 2021 by KJongUk
@soonho-tri
5
How to convert smt2 file to AST? enhancement question
#256 opened Jul 13, 2021 by KJongUk
@soonho-tri
2
Usage: How to Encode Derivatives
#238 opened Feb 10, 2021 by chelseas
3
Random Brancher enhancement
#226 opened Aug 6, 2020 by soonho-tri
3 tasks
@soonho-tri
More SMTLib compliance enhancement smt2
#223 opened Jul 26, 2020 by LeventErkok
@soonho-tri
picosat push/pop
#193 opened Apr 11, 2020 by soonho-tri
@soonho-tri
Assertion violation at symbolic.cc:101 (optimiation instance)
#178 opened Mar 21, 2020 by rainoftime
ProTip! Exclude everything labeled bug with -label:bug.