]> git.somenet.org - pub/jan/ewbs-dlv.git/commit
constraints + observed fault.
authorsomeone <jan@jvales.net>
Tue, 5 Jun 2012 20:03:22 +0000 (22:03 +0200)
committersomeone <jan@jvales.net>
Tue, 5 Jun 2012 20:03:22 +0000 (22:03 +0200)
commitc459e0c7b77351a5545f7cd4c3e6c2362a969a66
tree80a9f986ec77bfec6a93ea102ca0a099625e72da
parent63968ad56ded0c4bfa328da9cbf3c3bae26a089a
constraints + observed fault.
constraints.dl [new file with mode: 0644]
fault.obs [new file with mode: 0644]