K 25
svn:wc:ra_dav:version-url
V 77
/svn/reposWV/!svn/ver/38237/Privat/SvenThiele/trunk/apps/meneco/src/encodings
END
unproducible_targets.lp
K 25
svn:wc:ra_dav:version-url
V 101
/svn/reposWV/!svn/ver/36396/Privat/SvenThiele/trunk/apps/meneco/src/encodings/unproducible_targets.lp
END
card_min_completions_all_targets.lp
K 25
svn:wc:ra_dav:version-url
V 113
/svn/reposWV/!svn/ver/36396/Privat/SvenThiele/trunk/apps/meneco/src/encodings/card_min_completions_all_targets.lp
END
completions_all_targets.lp
K 25
svn:wc:ra_dav:version-url
V 104
/svn/reposWV/!svn/ver/36396/Privat/SvenThiele/trunk/apps/meneco/src/encodings/completions_all_targets.lp
END
card_min_completions_all_targets_with_bounds.lp
K 25
svn:wc:ra_dav:version-url
V 125
/svn/reposWV/!svn/ver/36396/Privat/SvenThiele/trunk/apps/meneco/src/encodings/card_min_completions_all_targets_with_bounds.lp
END
heuristic.lp
K 25
svn:wc:ra_dav:version-url
V 90
/svn/reposWV/!svn/ver/38237/Privat/SvenThiele/trunk/apps/meneco/src/encodings/heuristic.lp
END
ireactions.lp
K 25
svn:wc:ra_dav:version-url
V 91
/svn/reposWV/!svn/ver/36396/Privat/SvenThiele/trunk/apps/meneco/src/encodings/ireactions.lp
END
