Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / advancedresearch/monotonic_solver issues and pull requests

#22 - Published 0.5.0

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#21 - Added `_with_accelerator` versions

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#20 - Added `Solver` struct

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#19 - Redesigned result

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#18 - Better support for acceleration structures

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: hard

#17 - Redesign result for unambiguous error reporting

Issue - State: closed - Opened by bvssvni over 4 years ago - 1 comment
Labels: medium

#16 - Published 0.4.0

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#15 - Include existing facts in search

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#14 - Use optional max size on search

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#13 - Search should include existing facts

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: easy

#12 - Use optional max size on search

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: easy

#11 - Use bounded search on reduction

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#10 - When reducing proof, use bounded search

Issue - State: closed - Opened by bvssvni over 4 years ago
Labels: medium

#9 - Missing assumption search

Issue - State: open - Opened by bvssvni over 6 years ago
Labels: draft, discussion

#8 - Prioritized matching

Issue - State: open - Opened by epurdy over 6 years ago - 1 comment

#7 - Added "hats" example

Pull Request - State: closed - Opened by bvssvni over 7 years ago

#6 - Improved docs

Pull Request - State: closed - Opened by bvssvni over 7 years ago

#5 - Added search algorithm

Pull Request - State: closed - Opened by bvssvni over 7 years ago

#4 - Search, match and iterate

Issue - State: closed - Opened by bvssvni over 7 years ago - 2 comments
Labels: medium

#3 - Fix Cargo.toml

Pull Request - State: closed - Opened by bvssvni over 7 years ago

#2 - Published 0.1.0

Pull Request - State: closed - Opened by bvssvni over 7 years ago

#1 - First commit

Pull Request - State: closed - Opened by bvssvni over 7 years ago