semiexp / cspuz_coreLinks
CSP solver for puzzles
☆17Updated this week
Alternatives and similar repositories for cspuz_core
Users that are interested in cspuz_core are comparing it to the libraries listed below
Sorting:
- avoid unwrap() method☆20Updated this week
- a cargo subcommand to package your application into a docker image☆19Updated 5 years ago
- ☆21Updated 7 years ago
- (´・_・`)☆26Updated 7 years ago
- Simple memoization library for rust☆29Updated 5 years ago
- Rust implementation of SIMD-oriented Fast Mersenne Twister (SFMT) using stable SIMD☆33Updated 4 years ago
- a crate to swap values between possibly-overlapping references☆23Updated 3 years ago
- ☆46Updated 3 years ago
- A game like a pack man made from rust☆10Updated 8 years ago
- Competitive Programming Language MM☆24Updated last year
- Checker for translated mdbook☆15Updated 7 months ago
- ☆35Updated 3 years ago
- Rust binding of primitiv☆20Updated 7 years ago
- Easy opaque typedef for Rust programming language.☆12Updated 6 years ago
- Various ways to bring unsoundness to TypeScript☆15Updated 4 years ago
- optpy is a transpiler to generate a Rust file from a Python file☆25Updated 3 years ago
- PyO3's PyAny as a serde data format☆40Updated last month
- (´・_・`)☆31Updated 6 years ago
- Configurable ODE/PDE solver☆67Updated 2 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- Tools for online programming contests.☆22Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 5 years ago
- ☆22Updated last year
- A mdbook backend for generating SATySFi documents.☆19Updated 3 years ago
- GitHub Action for setup mitsuhiko/rye☆29Updated 2 weeks ago
- Proc-macro based einsum implementation for rust-ndarray☆35Updated last year
- Composable, strict CLI framework with static analysis for Rust☆18Updated 3 years ago
- Fast lexer code generator for Rust☆141Updated 11 months ago
- ☆11Updated 7 years ago
- TSGが制作しているプログラミング風パズルゲーム☆26Updated 2 years ago