Interface for defining and solving SAT problems in Rust
☆14Sep 1, 2016Updated 9 years ago
Alternatives and similar repositories for sat
Users that are interested in sat are comparing it to the libraries listed below
Sorting:
- ☆30Sep 20, 2021Updated 4 years ago
- game in rust-lang☆12Feb 19, 2016Updated 10 years ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- High level IRC client library with ease of use in mind.☆16Dec 4, 2017Updated 8 years ago
- Experimental dynamic OOP framework for Rust☆14Jan 22, 2015Updated 11 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A syntax extension providing higher-order attributes to Rust.☆17Dec 3, 2017Updated 8 years ago
- reprints for your terminal screen☆20Apr 11, 2016Updated 9 years ago
- Repo for the Rust `platform` crate.☆22Jan 31, 2019Updated 7 years ago
- UDP bittorent tracker with a focus on simplicity☆20Feb 4, 2022Updated 4 years ago
- ☆23Nov 7, 2016Updated 9 years ago
- Generalized Language Modeling toolkit☆52Jun 21, 2022Updated 3 years ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆35May 4, 2023Updated 2 years ago
- Experimental minisat SAT solver reimplementation in Rust☆74Aug 10, 2019Updated 6 years ago
- Columnar query processing engine in Rust☆31Jun 4, 2024Updated last year
- Experimental WebAssembly interpreter☆31Sep 21, 2016Updated 9 years ago
- Most Starred Repo On Github --future☆19Jan 27, 2019Updated 7 years ago
- Rust macros for std::Command☆40Jun 8, 2021Updated 4 years ago
- Tiny RPC framework for Rust☆33Sep 16, 2015Updated 10 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆10Mar 19, 2015Updated 10 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- AI chaos reasoning persona☆29Updated this week
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Crossfilter.js implemented as a mixin for ultra-fast filtering and sorting techniques baked into React.js components.☆13Mar 3, 2015Updated 11 years ago
- The documentation toolchain for Scylla projects.☆13Updated this week
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Snake game with neural network AI model☆38Nov 17, 2022Updated 3 years ago
- Anaconda Rust offers auto completion, auto formatting and linting for Rust language that will never freeze your Sublime Text 3☆43Feb 5, 2018Updated 8 years ago
- Inspired by WiringPi, a library for RaspberryPi GPIO -☆34Feb 14, 2016Updated 10 years ago
- Beautiful generative geometric images from a string, based on @jasonlong's geo_pattern, with a WASM demo☆45Aug 4, 2020Updated 5 years ago
- A Rust crate for differential-geometric calculations.☆41Jul 13, 2019Updated 6 years ago
- my emacs config☆17Aug 15, 2023Updated 2 years ago
- A runner for `mdbooks` to keep your documentation tested.☆54May 26, 2020Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago