Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / oeb25/smtlib-rs issues and pull requests
#12 - Feat: add z3 maxsat support
Pull Request -
State: open - Opened by timbeurskens about 2 months ago
#11 - chore: release v0.3.0
Pull Request -
State: open - Opened by github-actions[bot] 6 months ago
#10 - Support Real Division
Issue -
State: open - Opened by yangky11 7 months ago
#9 - chore: release
Pull Request -
State: closed - Opened by github-actions[bot] 9 months ago
#8 - chore: release
Pull Request -
State: closed - Opened by github-actions[bot] 9 months ago
#7 - Plan to support finite field theory solver?
Issue -
State: open - Opened by DoHoonKim8 11 months ago
#6 - Support retrieving values from get-model (i.e. extracting values from `Term`s)
Issue -
State: open - Opened by rbtying about 1 year ago
#5 - Remove `async-trait` crate and `async`, `z3`, `cvc5` features
Pull Request -
State: closed - Opened by oeb25 about 1 year ago
#4 - Support mixing low-level and high-level SMT APIs
Issue -
State: open - Opened by rbtying about 1 year ago
- 1 comment
#4 - Support mixing low-level and high-level SMT APIs
Issue -
State: open - Opened by rbtying about 1 year ago
- 3 comments
#3 - Bug: Fails to build without the `async` feature enabled
Issue -
State: closed - Opened by oeb25 about 1 year ago
- 1 comment
Labels: bug
#2 - Feature request: SyGuS input format
Issue -
State: open - Opened by Sicheng-Pan about 1 year ago
- 3 comments
#1 - Docs are failing
Issue -
State: closed - Opened by poscat0x04 over 1 year ago
- 2 comments