logic-solver-rs

MIT License

Stars
44
View Code on GitHub View on X
Ecosystems: Rust

Logic solver (work in progress)

See manual (Japanese).

Related Projects
cheats.rs

Rust Language Cheat Sheet - https://cheats.rs

12 Nov 2018 4,117
rust-web-developer-roadmap

Roadmap to becoming a Rust Web Developer in 2022

30 Apr 2019 1,798
idiomatic-rust

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

03 May 2017 6,506
nails

Rusty Nails: an opinionated web application framework for Rust

14 Jul 2019 42
cop-rs

Connection provers in Rust

06 Oct 2020 7
Rust_Bevy_Game_Engine

Rust_Game_dev

19 Jun 2024 1
shari

Shari the prover

22 Aug 2020 5
card-trace

24 Sep 2013 10
sat-rs

A SAT solver written in Rust

26 Oct 2023 2
coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

28 Dec 2022 124
umo

A programming language (WIP)

13 Feb 2022 29
Awesome-Rust-MachineLearning

This repository is a list of machine learning libraries written in Rust. It's a compilation of Gi...

23 Feb 2021 1,682
rust99

This is an adoption of S-99 or P-99 for Rustlang 🦀

10 Apr 2020 38
nomicon-zh-Hans

Rust 死灵书简体中文翻译

21 Sep 2021 615
quadprog-rs

A dense quadratic program solver in pure rust

04 Dec 2021 4