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

A lightweight CNF SAT constraint encoder library

(WIP) Optimizing bin packing constraint solver for Elixir

Solve Sudoku with Python using the CSF approach

A design pattern detection tool based on constraint satisfaction

A rule checker library for Java. Checks sets of rules for completeness, overlap, and 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.

Proof of concept

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

Example of algorithms used to solve distributed constraint problems

Encoding Vesicle Traffic System in Z3 and CBMC

Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization