semiexp

cspuz

csugar

Reimplementation of Sugar CSP solver in C++

enigma_csp

CSP solver for puzzles

cspuz-js

doublechoco-solver

A solver for Doublechoco

glucose

The Glucose SAT Solver

minisat

A minimalistic and high-performance SAT solver

numlin-sat

A Numberlink solver based on SAT

puzzle-solver

cadical

CaDiCaL SAT Solver

chord-game

cspuz-solver2

deep-puzzle

Puzzle generator using deep learning

deep-puzzle-solver

Puzzle solver based on deep learning

deep-sudoku

Solve Sudoku problems with deep learning

optuna

A hyperparameter optimization framework

penciloid-player

Browser based puzzle player

penpa-edit-py

Python interface for penpa-edit (https://opt-pan.github.io/penpa-edit/)

polymate

A solver for polycube packing puzzles.

puzrs

Pencil puzzle solvers in Rust

puzzle-player-react

Puzzle player in React + JSX

pzprjs

Playing and editing puzzles by Javascript (fork of sabo2/pzprjs)

rerail

ReRail: railway map editor

rust-js-examples

Example of invoking Rust codes from JavaScript

rustsat

A SAT solver in Rust

semiexp.github.io

GitHub pages

tspuz

Pencil puzzle interface collections in TypeScript

tsumeshogi

Tsume shogi solver

xcsp3-converter

Convert XCSP3 instances to Sugar/enigma_csp format

XCSP3-CPP-Parser

XCSP3 Core Parser in C++