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

A design pattern detection tool based on constraint satisfaction

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

Experiments in building a constraint workbench.

Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.

Proof of concept

Encoding Vesicle Traffic System in Z3 and CBMC

Generates two clash-free class schedules using a genetic algorithm with random selection, crossover, and mutation. Designed for 3 teachers over 3 days and 3 periods.

A Kakuro puzzle solver using backtracking search with optional Least Constraining Value (LCV) heuristic. Supports multiple difficulty levels with step-by-step terminal visualization.

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