issues
search
cvc5
/
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Other
6
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Aliases: ConstArray/K, Store/Update
#50
alex-ozdemir
closed
2 years ago
0
kinds -> Kind
#49
alex-ozdemir
closed
2 years ago
0
Add first example
#48
nafur
closed
2 years ago
0
is_xor
#47
alex-ozdemir
closed
2 years ago
0
Add CI
#46
nafur
closed
2 years ago
1
Fixes after upstream changes
#45
nafur
closed
2 years ago
0
license
#44
alex-ozdemir
closed
2 years ago
0
Golden output tests
#43
alex-ozdemir
closed
2 years ago
1
Comparison with Z3py
#42
alex-ozdemir
closed
2 years ago
0
Add machinery to print uninterpreted constants
#41
alex-ozdemir
closed
3 years ago
0
Codatatypes
#40
alex-ozdemir
closed
3 years ago
0
Add lambdas to QuantifierRef
#39
alex-ozdemir
closed
3 years ago
0
Quantifiers
#38
alex-ozdemir
closed
3 years ago
0
fix mkBitVector call to match new cvc5 python API
#37
alex-ozdemir
closed
3 years ago
0
Datatypes.
#36
alex-ozdemir
closed
3 years ago
1
underlying APIs will no longer allow signed BV strings
#35
alex-ozdemir
closed
3 years ago
0
Add FP maker functions & operator overloads
#34
alex-ozdemir
closed
3 years ago
0
FP classes, printing, and constant builders
#33
alex-ozdemir
closed
3 years ago
0
Set up pretty-printing, unit testing, & coverage.
#32
alex-ozdemir
closed
3 years ago
1
Remove some dead code, add some unit tests
#31
alex-ozdemir
closed
3 years ago
0
Operator overloads for building arith terms
#30
alex-ozdemir
closed
3 years ago
1
Adding a few more implementations of is_int
#29
alex-ozdemir
closed
3 years ago
1
Boolean overloads
#28
alex-ozdemir
closed
3 years ago
3
Add prove function
#27
alex-ozdemir
closed
3 years ago
0
Bit-vector operator overloads
#26
alex-ozdemir
closed
3 years ago
0
General expression overloads: ==, !=, bool()
#25
alex-ozdemir
closed
3 years ago
1
UF overload __call__
#24
alex-ozdemir
closed
3 years ago
0
Set & Array operator overloads
#23
alex-ozdemir
closed
3 years ago
0
Boolean term makers
#22
alex-ozdemir
closed
3 years ago
0
Set term makers
#21
alex-ozdemir
closed
3 years ago
1
Array term makers
#20
alex-ozdemir
closed
3 years ago
0
Bit-vector term makers
#19
alex-ozdemir
closed
3 years ago
0
Arith term makers
#18
alex-ozdemir
closed
3 years ago
0
Casting methods & functions
#17
alex-ozdemir
closed
3 years ago
1
Casting operator makers
#16
alex-ozdemir
closed
3 years ago
0
Value constructors
#15
alex-ozdemir
closed
3 years ago
0
Sort and Constant makers
#14
alex-ozdemir
closed
3 years ago
0
Arith methods
#13
alex-ozdemir
closed
3 years ago
0
UF methods
#12
alex-ozdemir
closed
3 years ago
0
Array methods
#11
alex-ozdemir
closed
3 years ago
0
Set methods
#10
alex-ozdemir
closed
3 years ago
0
bit-vector methods
#9
alex-ozdemir
closed
3 years ago
0
Bool methods
#8
alex-ozdemir
closed
3 years ago
2
A few fixes after the last PR
#7
alex-ozdemir
closed
3 years ago
0
Add testing functions to the API
#6
alex-ozdemir
closed
3 years ago
2
Add top-level functions
#5
alex-ozdemir
closed
3 years ago
1
solver methods, model, type-checker
#4
alex-ozdemir
closed
3 years ago
1
Structural methods for expressions and sorts
#3
alex-ozdemir
closed
3 years ago
0
Expr & Sort class hierarchy
#2
alex-ozdemir
closed
3 years ago
1
Base of context, expr, sort, and solver classes
#1
alex-ozdemir
closed
3 years ago
0
Previous
Next