ramsdell/saa
Streets and Alleys Solitaire
The Linear Equations Preprocessor solves linear equations and then substitutes the solutions into a document at prescribed locations. It provides linear equation solving capability similar to what is provided by MetaPost, as a general purpose preprocessor. It can be used with SVG to specify the position of graphics objects using a set of linear equations.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Streets and Alleys Solitaire
Unification in a Commutative Monoid
Unification and Matching in an Abelian Group
This package contains a lightweight deductive database system in OCaml