Metadata-Version: 2.1
Name: ml2
Version: 0.0.1
Summary: Machine Learning for Mathematics and Logics
Home-page: https://version.react.cs.uni-saarland.de/reactive-systems-group/tools/ml2
License: UNKNOWN
Platform: UNKNOWN
License-File: LICENSE

UNKNOWN

