What is Agar-SK?
The ag_sk library implements dimensioned two-dimensional sketches. Sketches can contain sets of metric relations (distances, angles) and logical relations (coincidence, parallelism, tangency) and SK's constraint-solving engine attempts to find a solution using degree-of-freedom analysis.
Documentation