PBerger 2ad5e57db2 Refactored version handling. Its now done via Tags in GIT. 12 years ago
..
firewire.cexprop Added counterexample property files for some models. 12 years ago
firewire.nm Added examples from MILP-paper. 12 years ago