My public programs and models - mostly combinatorial problems and puzzles

Generic Constraint Development Environment

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

A Constraint Satisfaction Problem Solver in Pure Swift

A Robust Inverse Kinematics Library

JMiniZinc

Successive Convexification with Continuous-Time Constraint Satisfaction

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction

(WIP) Optimizing bin packing constraint solver for Elixir

A lightweight CNF SAT constraint encoder library

Solve Sudoku with Python using the CSF approach

High-performance crossword grid filler

A design pattern detection tool based on constraint satisfaction

A universal problem-solving skill for code agents (e.g. Claude, Codex), inspired by George Polya's general algorithm

A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.

Experiments in building a constraint workbench.

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

About.com April'2009 Programming Challenge 24 - MineSweeper Redux

Encode MUST/NEVER constraints as installable, cross-platform skills for AI agents. Three-layer model gives dynamic loading and portability that traditional rule files lack.

Proof of concept