3 Repositories
Rust solvers Libraries
A Rust library for creating solvers in the OP Stack's dispute protocol
durin • A framework for building solvers for the OP Stack's dispute protocol. Note WIP Overview durin-primitives - Contains primitive types and traits
16 Sep 12, 2023
A wordle implementation that I made for a competition of wordle solvers
Wordle tester A wordle implementation that I made for a competition of wordle solvers. Runs tests using a list of words and outputs the total turns ta
6 Apr 11, 2022
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
good_lp A Linear Programming modeler that is easy to use, performant with large problems, and well-typed. use good_lp::{variables, variable, coin_cbc,
101 Dec 27, 2022