A verifier for Factorio blueprints, enabling one to automatically check logical properties
Primary LanguageRustGNU General Public License v3.0GPL-3.0