Closed MatWise closed 5 years ago
Adds bool_synth_encoding which can be used to synthesise boolean STL networks. This includes the following subset:
bool_synth_encoding
Performance tests and improvements are subject to future PRs; This PR only includes some basic STL examples as regression tests.
Adds
bool_synth_encodingwhich can be used to synthesise boolean STL networks. This includes the following subset:Performance tests and improvements are subject to future PRs; This PR only includes some basic STL examples as regression tests.