[SCM] conflict-driven nogood learning answer set solver tag, debian/3.0.3-6, deleted. 12a048c56bbfffa60452a5f4cdd65ddb76c0a80a
Thomas Krennwallner
tkren at kr.tuwien.ac.at
Mon Sep 26 05:34:51 UTC 2011
The tag, debian/3.0.3-6 has been deleted
was 12a048c56bbfffa60452a5f4cdd65ddb76c0a80a
-----------------------------------------------------------------------
12a048c56bbfffa60452a5f4cdd65ddb76c0a80a Get rid off makefile patch.
-----------------------------------------------------------------------
--
conflict-driven nogood learning answer set solver
More information about the debian-science-commits
mailing list