BridgePoint Open SourceFreeEditor, Verifier and Model Compilers; Apache 2.0 licensedChecked 30 Sep 2026