Eos Project
Site for Computational Origami System Eos
Syntax of logical formulas in Eos 3.3.2
Lill’s method