semiexp's repositories
polymate2
A polyomino packing solver
polymate-ui
Web interface for polyomino packing solver
semiexp.github.io
GitHub pages
enigma_csp
CSP solver for puzzles
toy-wasm
A toy WebAssembly parser / interpreter
rust-js-examples
Example of invoking Rust codes from JavaScript
rerail
ReRail: railway map editor
doublechoco-solver
A solver for Doublechoco
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
xcsp3-converter
Convert XCSP3 instances to Sugar/enigma_csp format
optuna
A hyperparameter optimization framework
cadical
CaDiCaL SAT Solver
numlin-sat
A Numberlink solver based on SAT
deep-puzzle-solver
Puzzle solver based on deep learning
penpa-edit-py
Python interface for penpa-edit (https://opt-pan.github.io/penpa-edit/)
pzprjs
Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)
deep-puzzle
Puzzle generator using deep learning
tspuz
Pencil puzzle interface collections in TypeScript
rustsat
A SAT solver in Rust
puzrs
Pencil puzzle solvers in Rust
tsumeshogi
Tsume shogi solver
deep-sudoku
Solve Sudoku problems with deep learning