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

A lightweight CNF SAT constraint encoder library

(WIP) Optimizing bin packing constraint solver for Elixir

Solve Sudoku with Python using the CSF approach

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction

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

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

This is a puzzle solver created from scratch by myself, with the purpose of practice and fun. If you are looking for a solver for the puzzle below or interested in how the solver was formulated, this page is for you! Disclaimer: I did not create the puzzle.

Experiments in building a constraint workbench.

Proof of concept

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

Encoding Vesicle Traffic System in Z3 and CBMC

Algorithms on the Box Wrapping Problem