Boolector/boolector

Issues

• Btormc Support for Multi-dimensional Arrays

  #230 opened 5 months ago by xjiang47
  2

• make failing for Python API with Python version 3.11.8

  #229 opened 6 months ago by adwait
  1

• configure python support with a non-global python version

  #228 opened 6 months ago by adwait
  2

• The test 'bv' doesn't finish in 8 mins

  #227 opened 7 months ago by yurivict
  1

• Tests fail to build: error: C++ versions less than C++14 are not supported

  #226 opened 4 months ago by yurivict
  4

• PyBoolector metadata version mismatch causing install failure

  #224 opened 8 months ago by enathang
  5

• FileNotFoundError when installing on windows

  #218 opened a year ago by hnaganur
  1

• How to install pyboolector for pypy

  #215 opened a year ago by see01995
  2

• Make error while running btor2tools

  #214 opened a year ago by prathiksha97
  16

• install error on macos 13.4.1

  #209 opened a year ago by hanfeng0114
  1

• Stuck rewriting in rewrite_eq_exp

  #205 opened 2 years ago by jix
  1

• install pyboolector failed on python 3.11 macos

  #204 opened 2 years ago by songzenghui
  1

• PyBoolector install via PIP fails on x86_64 MacOS

  #191 opened 3 years ago by lwerdna
  11

• PyBoolector not working on ARM64 M1 MAC ?

  #180 opened 3 years ago by EngRaff92
  6

• Assertion violation at src/btornode.c:1998

  #160 opened 4 years ago by rainoftime
  2

• Refutation soundness bug on bit-vector formulas

  #159 opened 4 years ago by rainoftime
  3

• Assertion violation at src/btordbg.c:322

  #158 opened 4 years ago by rainoftime
  1

• Assertion violation at src/btorexp.c:1875

  #157 opened 4 years ago by rainoftime
  1

• Assertion violation at src/btorexp.c:1874

  #155 opened 4 years ago by rainoftime
  1

• Assertion violation at src/preprocess/btornormquant.c:373

  #154 opened 4 years ago by rainoftime
  1

• Difference of boolector_not and boolector_neg?

  #223 opened 7 months ago by gipsyh
  1

• Assertion with zero and propagation engine

  #193 opened 3 years ago by gsingla21
  5

• Tests fail to compile: error: no member named 'make_unique' in namespace 'std', etc.

  #216 opened 10 months ago by yurivict
  1

• Wrong path for libbtor2parser.a in reach's Makefile

  #221 opened a year ago by LH104729
  1

• Installing pyboolector fails for python 3.11.3 on Linux (Arch)

  #207 opened a year ago by alwilson
  2

• Printing of Constant Arrays

  #200 opened a year ago by ekiwi
  0

• Hello, how do I install Boolector and cryptominisat offline?

  #210 opened a year ago by zhuming-m
  1

• ./configure.sh problem

  #203 opened 2 years ago by khanhckn
  2

• windows10 install pyboolector failed

  #202 opened 2 years ago by songzenghui
  1

• Linker error when building boolector from source

  #201 opened 2 years ago by yzh119
  2

• Is there any Distribution Constraint sv equivalent in boolector?

  #194 opened 3 years ago by gsingla21
  0

• Lookup Table

  #192 opened 3 years ago by panicarada
  1

• Not able to found how to get different solution after every boolector_sat under same assertions

  #190 opened 3 years ago by gsingla21
  1

• Cannot install PyBoolector using Python 3.10

  #179 opened 3 years ago by msvisser
  2

• Test failures on aarch64 linux

  #178 opened 3 years ago by risicle
  3

• Support for finite-domain SMTLIB2 `declare-datatypes`

  #177 opened 3 years ago by vedadux
  1

• Assertion violation at src/preprocess/btorminiscope.c:193

  #156 opened 3 years ago by rainoftime
  1

• Error while install pyboolector 3.2.2

  #176 opened 3 years ago by nicolast0604
  13

• PyBoolector-3.2.2.20210617.2.tar.gz Missing CMakeLists.txt

  #175 opened 3 years ago by ctopal
  2

• New release?

  #172 opened 4 years ago by mikhailramalho
  2

• Incorrect handling of SMT-LIB double-quote escape sequence in strings

  #173 opened 4 years ago by Calvin-L
  1

• Need help with running SMTLIB example

  #171 opened 4 years ago by Kakadu
  7

• Python API lingeling assertion hit watcher stack overflow

  #169 opened 4 years ago by edcote
  4

• convert a btor2 file into a btor file

  #167 opened 4 years ago by sadyan9123
  1

• Null Pointer Dereference in btor_bv_to_char()

  #166 opened 4 years ago by kinzhong
  4

• Incorrect result when using induction

  #164 opened 4 years ago by ravipr72
  1

• Compiling on Redhat 7

  #165 opened 4 years ago by sjreilly1960
  3

• the translator from Btor2 to VMT

  #163 opened 4 years ago by chucq
  3

• Unexpected command error

  #162 opened 4 years ago by recoules
  4

• Maybe a parsing bug?

  #161 opened 4 years ago by JoanEspasa
  4