issues
search
elliottt
/
easy-smt
Easy SMT solver interaction
Apache License 2.0
24
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump the version to 0.2.2
#29
elliottt
closed
1 month ago
0
Run the `quantifiers` example in CI
#28
elliottt
closed
1 month ago
0
Fix `Context::forall` and `Context::exists` quantifiers
#27
octalsrc
closed
1 month ago
0
Resource temporarily unavailable (os error 35) when called too many times in MacOS
#26
Qi-Zhan
closed
4 months ago
2
Bump the version to 0.2.1
#25
elliottt
closed
1 year ago
0
Parse quote identifiers
#24
rachitnigam
closed
1 year ago
2
Panic when parsing quoted identifiers
#23
rachitnigam
closed
1 year ago
1
Bump to 0.2.0
#22
elliottt
closed
1 year ago
0
Implement `check-sat-assuming`
#21
rachitnigam
closed
1 year ago
4
Support for activation literals
#20
rachitnigam
opened
1 year ago
5
Require at least one value in `get_value` calls
#19
rachitnigam
closed
1 year ago
0
Deprecate `declare` method
#18
rachitnigam
closed
1 year ago
0
`unreachable` triggered when `get_value` called with an empty list
#17
rachitnigam
closed
1 year ago
0
Fix bug in `SExpr::is_list`
#16
fitzgen
closed
1 year ago
0
Deprecate `Context::declare` or `Context::declare_const`
#15
rachitnigam
closed
1 year ago
2
Add numeric ops and `define-fun`
#14
rachitnigam
closed
1 year ago
2
`SExpr::is_list` is always false according to clippy
#13
rachitnigam
closed
1 year ago
2
Clippy fixes
#12
rachitnigam
closed
1 year ago
0
Add debug assertions that an `SExpr` comes from the correct `Context`
#11
fitzgen
closed
1 year ago
1
Index out of bounds error when calling `ctx.assert`
#10
rachitnigam
closed
1 year ago
3
Pass-through single-element arguments to variadic constructors
#9
elliottt
closed
1 year ago
0
Request: `and_many` etc to work on single-element vectors
#8
avanhatt
closed
1 year ago
1
Convert from `SExprData` to integers
#7
fitzgen
closed
1 year ago
0
Publish to crates.io
#6
fitzgen
closed
1 year ago
3
Helper method to turn an s-expr atom that is a bitvector into a rust number
#5
fitzgen
closed
1 year ago
2
Add support for replay files and use a builder for creating contexts
#4
fitzgen
closed
1 year ago
0
Ability to write solver interactions to a (replayable) file
#3
avanhatt
closed
1 year ago
3
Helper methods for common solvers
#2
fitzgen
opened
1 year ago
0
Arena allocation
#1
elliottt
closed
1 year ago
0