Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

[Development suspended] An efficient open-source postflop solver library written in Rust

Constraint programming in Rust

Lp modeler written in Rust

ODE solver library in Rust

First-order conic solver for convex optimization problems

🔍 Twizzle Search — a program to find algs and scrambles for twisty puzzles

CAQE is a solver for quantified Boolean formulas

A Rust Library for Numerical Equation Solving, Optimisation, and Integration

Flexible and modular framework for different NP-Problems with different solvers

library implementing interaction with various linear programming solvers

An experimental programming language for ergonomic software verification

Rust Bindings to interact with SMTLIB2 compliant solvers

Solve hard constraints easily with Rust.

It is designed to be a universal, scalable and optimal programming language for problem-solving.

Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible

CLI tool to Solve Substitution Ciphers using a wordlist

Daniel's Rusty SAT solver

solving an irrelevant unsolved problem in combinatorial mathematics

D-WAVE's CQM Quantum Annealer to solve LinkedIn's Tango and Queens