Hacker News
- CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot https://github.com/sarsko/CreuSAT 72 comments
Lobsters
- CreuSAT: A formally verified SAT solver written in Rust https://github.com/sarsko/CreuSAT 4 comments formalmethods , rust
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot https://github.com/sarsko/CreuSAT 7 comments rust
Linking pages
- GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. https://github.com/creusot-rs/creusot 19 comments
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 24 comments
- GitHub - sagiegurari/cargo-make: Rust task runner and build tool. https://github.com/sagiegurari/cargo-make/ 8 comments
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
See how to search.