My SABR page

SABR (Spatial and Action Based Resolver) is a constraint programming language designed with an emphasis on spatial and temporal logic.

Programs compile to CNF (Conjunctive Normal Form), which is then solved by a CNF solver, whose results are processed into human readable form.
Also see:

My SABR encodings

Here are some of my SABR encodings.
Back to my home page