~tapaal-ltl/verifypn/rule-D-fix

• Changes
• Files

~tapaal-ltl/verifypn/rule-D-fix » Changes to Scripts/MCC14 from revision 241

From Revision 241

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
56		work on competition parsing, fix in paranthesis around conju... work on competition parsing, fix in paranthesis around conjunction/disjunction, deletion in object for lpsolve, shell scripts for MCC2015, parsing now avoids using iterator when not necessary (fixes issues with linux)	Jiri Srba	9 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1