Constraint Solving
Showing 6 of 6 projects
Generates bitmaps and tilemaps that are locally similar to a single input example, using a constraint-solving algorithm inspired by quantum mechanics.
A high-performance theorem prover and satisfiability modulo theories (SMT) solver from Microsoft Research.
A JAX library for automatically generating equivariant neural network layers for arbitrary symmetry groups via constraint solving.
A Swift library for logic programming that solves problems by describing constraints rather than writing solutions.
Ada binding to the Z3 theorem prover for formal verification and constraint solving.
A classical AI planner in Common Lisp with a PDDL-inspired, Lisp-native problem language and a REPL-friendly workflow.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.