constraint-satisfaction

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

GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.

GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.

GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.

AI Final Project implementing fundamental Artificial Intelligence search techniques, including Local Search, Adversarial Search, Minimax, Constraint Satisfaction, and Information Search using Python.

GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.

GenPark AI Agent Skill - Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) backtracking search.

GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.

High-performance crossword grid filler

GenPark AI Agent Skill - Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) backtracking search.

GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.

GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.