issues
search
stanford-centaur
/
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103
stars
40
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix deps directory creation
#354
CyanoKobalamyne
closed
2 weeks ago
0
Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d44217298841928b194c3536c76
#353
CyanoKobalamyne
closed
2 weeks ago
4
Unify static lib repacking to always use script
#352
CyanoKobalamyne
closed
2 months ago
1
Unify static lib repacking to always use script
#351
CyanoKobalamyne
closed
2 months ago
0
Use common Cadical dependency for various solvers
#350
CyanoKobalamyne
closed
2 months ago
0
Linking errors when compiling static smt-switch with multiple SMT solvers that share dependencies
#349
CyanoKobalamyne
closed
2 months ago
0
Fix issues with CI
#348
CyanoKobalamyne
closed
4 months ago
0
Update Bitwuzla code for new API
#347
samanthaarcher0
closed
3 months ago
5
Add datatype support for z3
#346
farmerzhang1
closed
6 months ago
1
Update cvc5 to 1.1.1
#345
CyanoKobalamyne
closed
7 months ago
0
Update boolector to most recent version (3.2.3 plus extra)
#344
CyanoKobalamyne
closed
7 months ago
0
Set errexit bash option to terminate contrib setup scripts on error
#343
CyanoKobalamyne
closed
7 months ago
1
Switch default branch to main
#342
CyanoKobalamyne
closed
7 months ago
3
multiplication is variadic
#341
ffrohn
closed
9 months ago
1
fixes for build with z3
#340
ffrohn
closed
9 months ago
0
uint is non-standard
#339
ffrohn
closed
9 months ago
0
Update Bitwuzla code for new API
#338
CyanoKobalamyne
closed
4 months ago
2
Allow using local GTest
#337
CyanoKobalamyne
closed
3 months ago
1
Increase minimum CMake version
#336
CyanoKobalamyne
closed
4 months ago
1
Add the remaining smtlib string operators excluding the regex and the conversion operators
#335
ntsis
closed
10 months ago
0
Delete ci-scripts/download-cvc5.sh
#334
CyanoKobalamyne
closed
10 months ago
2
Test
#333
CyanoKobalamyne
closed
11 months ago
0
Update cvc5 to 1.0.8
#332
CyanoKobalamyne
closed
11 months ago
16
TermTranslator enhancements.
#331
kunalsheth
opened
1 year ago
0
SMT-Lib parser is strict
#330
kunalsheth
opened
1 year ago
0
smtlibparser.h header file missing
#329
PinkFrojdSenjak
opened
1 year ago
1
smt-switch is very tightly bound to a specific, old version of CVC5.
#328
kunalsheth
closed
11 months ago
2
Add partial string support
#327
ntsis
closed
10 months ago
1
TermTranslator unhelpful rewrite.
#326
kunalsheth
opened
1 year ago
2
Added bitwuzla to pysmt frontend
#325
jack-melchert
closed
1 year ago
2
Can this library also be used as a parser etc. for SMT problems?
#324
jparsert
opened
1 year ago
6
Suppress printout from importing skbuild in configure script
#323
cterrill26
closed
1 year ago
1
Installation issue: unwanted skbuild printout
#322
cterrill26
closed
1 year ago
4
Fix issue with GMP backed pysmt
#321
cdonovick
closed
1 year ago
0
Question about make_term()
#320
ZhiyuanYan
opened
1 year ago
8
failing test
#319
yoni206
opened
1 year ago
0
Gtest upgrade
#318
yoni206
closed
1 year ago
0
308 fix
#317
yoni206
closed
1 year ago
0
fix compile warnings
#316
ahmed-irfan
closed
1 year ago
1
update disjoint test
#315
ahmed-irfan
closed
1 year ago
3
How to covert bit vector 1 term expressions to boolean term expressions?
#314
fangwenji
closed
1 year ago
2
Trying to fix ci on macOS
#313
yoni206
closed
1 year ago
6
Specify packages and py_modules for updated setuptools
#312
makaimann
closed
1 year ago
7
Install older version of setuptools on macOS CI
#311
makaimann
closed
1 year ago
1
Ci fix
#310
yoni206
closed
1 year ago
4
print 1-bit bit-vectors correctly when using bitwuzla
#309
yoni206
closed
1 year ago
1
Calling `to_int` on a bitvector of size 1 causes a crash
#308
zyedidia
closed
1 year ago
2
Build scripts assume fixed paths for transitive dependencies
#307
CyanoKobalamyne
opened
1 year ago
0
Add missing header
#306
CyanoKobalamyne
closed
1 year ago
3
Compilation with CVC5 fails on GCC >= 11
#305
CyanoKobalamyne
closed
1 year ago
0
Next