Serg Kryvonos Relation Yarn Plausibility Tool
This is the software designed to hold the whole of ergo.
Accepts three forms of input:
- expressions with variables (automatically equal to zero)
- single variable name (to show its value if known)
- expression with question mark to check if its true
TODO: D-SKrypt ([Di]stributed)