diff options
| author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-10-09 16:16:08 +0200 |
|---|---|---|
| committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-10-09 16:16:08 +0200 |
| commit | 10ca049f62f6bffb9be68f9ab81e63ca28b60d23 (patch) | |
| tree | aa9c2b16143dc04f6192996f98e88bed2c5fec3f /libre/java7-openjdk/jre7-openjdk-headless.install | |
| parent | 805ca4cd0c895dd1580608f1393ca627e7ff748d (diff) | |
A conflict-driven nogood learning answer set solver.
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk-headless.install')
0 files changed, 0 insertions, 0 deletions