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

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

Proof of concept

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

Experiments in building a constraint workbench.

Three algorithmic optimization projects from IST's Algorithm Analysis and Synthesis course: dynamic programming for operator parenthesization, graph algorithms for metro network analysis, and linear programming for resource allocation. Implemented in C++ and Python with focus on efficiency and competitive programming techniques.

Encoding Vesicle Traffic System in Z3 and CBMC

Sudoku Solver Python-based using recursion and backtracking to instantly solve Sudoku puzzles with ease.