Select Git revision
gen-nessie-xcpt
-
Martin Mareš authoredIn particular, we automatically detect general constraints and encode them as such.
Martin Mareš authoredIn particular, we automatically detect general constraints and encode them as such.