Simulated annealing implementation for annealers_rust
Rust bindings of Quantum Annealer, CMOS Annealer, Digital Annealer, etc.
A QUBO manipulation library for Rust
Fast Sudoku generator & solver — classic 9×9 plus configurable grids — with unique puzzles, CLI, and REST server.
Domain-agnostic Keplerian dynamics: typed anomaly solvers, elements, propagation, Lambert, and transfer search.
Quantum annealing support for the QuantRS2 framework
Gooding's method for solving Lambert's orbital boundary-value problem
Krylov subspace and preconditioned iterative solvers for dense and sparse linear systems, with shared and distributed memory parallelism.
cliard24 is a command-line 24-point card game. It provides two main functions: the game mode allows you to play the classic 24-point game interactively in the terminal, where you randomly draw 4 cards and use addition, subtraction, multiplication, division, and parentheses to reach 24; the solve mode lets you input any combination of numbers and a target value to calculate all possible expression solutions. The tool supports customizable attempt limits, endless mode, solution count limits, and mixed input of card letters (A/J/Q/K) and numbers.
A linear solver designed to be easy to use with Rust enum expressions
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Constraint Satisfaction Problem (CSP) solver