Skip to content
Snippets Groups Projects
Martin Mares's avatar
Martin Mareš authored
In particular, we automatically detect general constraints
and encode them as such.
06a1425e
History
Name Last commit Last update