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

#319 - how to view the solver log when using Python API ?

Issue - State: open - Opened by pcarbonn about 1 month ago

#318 - For Apple Silicon Macs, use Rosetta to install dreal

Issue - State: open - Opened by keikun555 about 1 month ago - 1 comment

#317 - Unable to install Dreal on Ubuntu 24.04

Issue - State: open - Opened by michalis07 about 2 months ago

#316 - Proof checker?

Issue - State: open - Opened by DustinWehr 4 months ago - 5 comments

#315 - Boolean `define-fun` functions don't work

Issue - State: open - Opened by percontation 4 months ago - 1 comment

#314 - An issue on multiplication by (-1) for Expressions

Issue - State: open - Opened by RuikunZhou 6 months ago - 2 comments

#313 - Run clang-format

Pull Request - State: open - Opened by mrdomino 6 months ago - 1 comment

#312 - Install Fail on WSL2

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

#310 - How to run dReach from Docker

Issue - State: open - Opened by akaph2p about 1 year ago

#309 - running smt2 file from command line

Issue - State: closed - Opened by akaph2p about 1 year ago

#308 - env: python2.7: No such file or directory

Issue - State: open - Opened by mahiiizkr about 1 year ago - 3 comments

#307 - Trouble Building

Issue - State: open - Opened by keks about 1 year ago - 13 comments

#306 - Uninterpreted Functions

Issue - State: closed - Opened by juliusbrehme over 1 year ago - 2 comments
Labels: question

#305 - Formula should not be satisfiable

Issue - State: closed - Opened by juliusbrehme over 1 year ago - 2 comments
Labels: question

#304 - Integer Division

Issue - State: closed - Opened by juliusbrehme over 1 year ago - 1 comment
Labels: question

#303 - Questions regarding the API

Issue - State: closed - Opened by juliusbrehme over 1 year ago - 2 comments
Labels: question

#302 - Geeting wrong delta-sat model on unsat query.

Issue - State: open - Opened by trivedi-nitesh over 1 year ago

#301 - Retire macOS-10 / update Google Colab notebook

Pull Request - State: closed - Opened by soonhokong over 1 year ago

#300 - ImportError: libibex.so: cannot open shared object file

Issue - State: closed - Opened by megaseptinh over 1 year ago - 3 comments

#299 - Colab - Dreal Does not work

Issue - State: closed - Opened by mizzonimirko over 1 year ago - 9 comments

#298 - Retire Ubuntu-18.04

Pull Request - State: closed - Opened by soonhokong over 1 year ago

#297 - Unable to install dreal4

Issue - State: open - Opened by ThisIsJairo over 1 year ago - 11 comments

#296 - No python extension to define a Environment

Issue - State: closed - Opened by HaomiaoLuoLlanio over 1 year ago - 2 comments
Labels: question, python

#295 - Is dReal working on m2 chips?

Issue - State: closed - Opened by ThisIsJairo almost 2 years ago - 2 comments
Labels: question

#294 - Add more to Python binding

Pull Request - State: closed - Opened by soonhokong almost 2 years ago - 1 comment

#293 - fix(tools): Update dreal.bzl to be compatible with bazel-6 on macos

Pull Request - State: closed - Opened by soonhokong almost 2 years ago

#292 - Fixes to support clang-15

Pull Request - State: closed - Opened by soonhokong almost 2 years ago

#291 - bazel(WORKSPACE): Update ezoptionparser

Pull Request - State: closed - Opened by soonhokong almost 2 years ago

#290 - refactor(optimization/cached_expression): CachedExpression

Pull Request - State: closed - Opened by soonhokong almost 2 years ago - 1 comment

#289 - test: Add cds_priority_queue_test

Pull Request - State: closed - Opened by soonhokong almost 2 years ago - 1 comment

#288 - Question about encoding in dreach format

Issue - State: open - Opened by elmiraafra almost 2 years ago

#287 - Add placeholder in ContractorSampling for constructor/prune/display

Pull Request - State: closed - Opened by yazhai about 2 years ago

#286 - add ContractorSampling.cc/h to BUILD.bazel

Pull Request - State: closed - Opened by yazhai about 2 years ago

#285 - Missing image in documentation?

Issue - State: open - Opened by pwintz about 2 years ago - 2 comments

#284 - [Bug] Unsat with large hexadecimal constant for Ints

Issue - State: open - Opened by PaulBonnot about 2 years ago - 1 comment
Labels: bug

#283 - Fix fmt-related build errors when in --std=c++20 mode

Pull Request - State: closed - Opened by jwnimmer-tri about 2 years ago

#282 - Build problem MacOS - Ibex Installation

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

#281 - Unable to build dreal

Issue - State: closed - Opened by alre5639 about 2 years ago - 1 comment

#278 - Solving DNN with dreal

Issue - State: open - Opened by Krayn over 2 years ago - 12 comments
Labels: question

#277 - fix(symbolic/prefix_printer): Handle negative constants

Pull Request - State: closed - Opened by soonhokong over 2 years ago - 1 comment

#276 - Add missing logic

Pull Request - State: closed - Opened by soonhokong over 2 years ago - 1 comment

#275 - ToPrefix generates non-SMTLIB-compliant strings

Issue - State: closed - Opened by soonhokong over 2 years ago
Labels: bug

#274 - Missing logic

Issue - State: closed - Opened by soonhokong over 2 years ago
Labels: bug

#273 - Update deps; Add macos-12 support; Update Dockerfiles

Pull Request - State: closed - Opened by soonhokong over 2 years ago

#272 - Support Ubuntu 22.04

Pull Request - State: closed - Opened by soonhokong over 2 years ago

#270 - fix(picosat): Use a new version (fix null-pointer arithmetic)

Pull Request - State: closed - Opened by soonhokong over 2 years ago

#269 - option for timeout

Issue - State: open - Opened by soonhokong over 2 years ago - 2 comments
Labels: enhancement

#268 - python binding support

Issue - State: open - Opened by kgoyal40 over 2 years ago

#267 - arch-based distro build help

Issue - State: closed - Opened by johnviljoen over 2 years ago - 2 comments
Labels: question, build

#266 - Dreal minimization at every point in interval

Issue - State: closed - Opened by alre5639 over 2 years ago - 2 comments
Labels: question

#265 - Soundness Bug with QF_NRA formula.

Issue - State: open - Opened by KJongUk over 2 years ago - 1 comment

#264 - Rounding when using very large integers

Issue - State: open - Opened by rasheedja over 2 years ago - 1 comment
Labels: bug

#263 - dReal documentation

Issue - State: closed - Opened by ayeshamkzhh about 3 years ago - 1 comment
Labels: question

#262 - Issue in using dReal4

Issue - State: closed - Opened by ayeshamkzhh about 3 years ago - 2 comments
Labels: question

#261 - ibex-2.8.6

Issue - State: open - Opened by soonhokong about 3 years ago - 2 comments
Labels: enhancement

#260 - Python import dreal ibex library not found

Issue - State: closed - Opened by INPUTrrr0 about 3 years ago - 3 comments
Labels: mac

#259 - Soft Constraints in dreal

Issue - State: closed - Opened by kgoyal40 over 3 years ago - 4 comments
Labels: question

#258 - Unsoundness bug with smt2 file over arctan2 function.

Issue - State: open - Opened by KJongUk over 3 years ago - 5 comments
Labels: bug

#257 - Update 3rd party deps

Pull Request - State: closed - Opened by soonho-tri over 3 years ago

#256 - How to convert smt2 file to AST?

Issue - State: open - Opened by KJongUk over 3 years ago - 2 comments
Labels: enhancement, question

#255 - Unsoundness bug with smt2 file over real numbers.

Issue - State: closed - Opened by KJongUk over 3 years ago - 4 comments
Labels: question

#254 - Multivariable results in long computation time

Issue - State: closed - Opened by LGM97 over 3 years ago - 1 comment

#253 - Multivariable results in long computation time.

Issue - State: closed - Opened by LGM97 over 3 years ago - 4 comments
Labels: question

#252 - fix(solver/theory_solver): FilterAssertion

Pull Request - State: closed - Opened by soonho-tri over 3 years ago - 1 comment

#251 - Fix explanation

Pull Request - State: closed - Opened by soonho-tri over 3 years ago

#250 - Unsoundness for large formulas with integer variables in the C++ interface.

Issue - State: closed - Opened by gavlegoat over 3 years ago - 11 comments
Labels: bug

#249 - fix(smt2/term.cc): Fix Term::Substitute

Pull Request - State: closed - Opened by soonho-tri over 3 years ago

#248 - The strange result of multiplication in formula

Issue - State: closed - Opened by Taeyang123456 over 3 years ago - 1 comment
Labels: bug

#247 - Something is not right with user-defined functions

Issue - State: closed - Opened by baoluomeng over 3 years ago - 2 comments
Labels: bug

#246 - fix(smt2/parser.yy): Fix name_sort_list

Pull Request - State: closed - Opened by soonho-tri over 3 years ago

#245 - The argument order to define-fun is not respected

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

#244 - dReal4 check the Lyapunov stability out of the basin of interest

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

#243 - Ubuntu 16.04 LTS support will be dropped by the end of Apr 2021

Issue - State: closed - Opened by soonho-tri over 3 years ago - 1 comment

#242 - bazel: Use spdlog-1.8.5

Pull Request - State: closed - Opened by soonho-tri over 3 years ago

#241 - Is there timeout for CheckSatisfiability()?

Issue - State: closed - Opened by xhajnal over 3 years ago - 1 comment

#240 - Bazel build failure

Issue - State: closed - Opened by rgyen over 3 years ago - 4 comments

#239 - Use precision guard

Pull Request - State: closed - Opened by soonho-tri almost 4 years ago - 1 comment

#238 - Usage: How to Encode Derivatives

Issue - State: open - Opened by chelseas almost 4 years ago - 3 comments

#237 - Different answers from dReal to the same problem

Issue - State: closed - Opened by baoluomeng almost 4 years ago - 2 comments

#236 - Defining own variable types

Issue - State: closed - Opened by fabianbauermarquart almost 4 years ago - 1 comment
Labels: enhancement, wontfix

#235 - Where can I learn the introduction and usage of various functions in Dreal

Issue - State: closed - Opened by LGM97 almost 4 years ago - 3 comments
Labels: question

#234 - how can i install on windows

Issue - State: closed - Opened by xulangping almost 4 years ago - 1 comment
Labels: question

#233 - travis: Update macOS

Pull Request - State: closed - Opened by soonho-tri almost 4 years ago

#232 - fix(third_party/kythe): Update genyacc

Pull Request - State: closed - Opened by soonho-tri almost 4 years ago

#231 - Error with bazel 4.0 rc2

Issue - State: closed - Opened by jwnimmer-tri almost 4 years ago - 3 comments

#230 - Unable to verify hyperbolic identity

Issue - State: closed - Opened by remysucre about 4 years ago - 2 comments
Labels: question

#229 - Clang 11 / python 3.9

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

#228 - Incorrect models using --model

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

#227 - docs: Add BuildOnFedora.md

Pull Request - State: closed - Opened by soonho-tri over 4 years ago - 11 comments

#226 - Random Brancher

Issue - State: open - Opened by soonho-tri over 4 years ago
Labels: enhancement

#225 - Support `define-fun`

Issue - State: closed - Opened by LeventErkok over 4 years ago - 3 comments
Labels: enhancement, smt2

#224 - The example on the landing page encodes a different problem than what's stated

Issue - State: closed - Opened by LeventErkok over 4 years ago - 3 comments
Labels: bug, smt2

#223 - More SMTLib compliance

Issue - State: open - Opened by LeventErkok over 4 years ago
Labels: enhancement, smt2

#222 - How should I interpret this output?

Issue - State: closed - Opened by LeventErkok over 4 years ago - 2 comments
Labels: question

#221 - SMTLib: Support distinct

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

#220 - Rename to --smtlib2-compliant; Support (get-option)

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