Successive Convexification with Continuous-Time Constraint Satisfaction
-
Updated
May 15, 2024 - MATLAB
Successive Convexification with Continuous-Time Constraint Satisfaction
My public programs and models - mostly combinatorial problems and puzzles
Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
Generic Constraint Development Environment
A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
Experiments in building a constraint workbench.
Implementation of a generalized Constraint Satisfaction Problem, alongside a backtracking solver with MAC, min-remaining-value, and least-constraining-value heuristics. Applied to map coloring, the N-Queens Problem, and Circuit Board design. Also an implementation of a min-conflicts local search that is ideal for the N-Queens.
A Robust Inverse Kinematics Library
A lightweight CNF SAT constraint encoder library
Mathematical formulations for graph burning
A solver for the n-queens problem.
Constraints solving (sequencing, priority) as a command line tool. Type your constraints in simple plain text. Generation of Graphviz compatible documents that can be rendered as a diagram!
A Constraint Satisfaction Problem Solver in Pure Swift
a visual problem solver
Proof of concept
Algorithms on the Box Wrapping Problem
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
(WIP) Optimizing bin packing constraint solver for Elixir
Add a description, image, and links to the constraint-satisfaction topic page so that developers can more easily learn about it.
To associate your repository with the constraint-satisfaction topic, visit your repo's landing page and select "manage topics."