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 /pcr/mx44 | |
| parent | 805ca4cd0c895dd1580608f1393ca627e7ff748d (diff) | |
| download | abslibre-10ca049f62f6bffb9be68f9ab81e63ca28b60d23.tar.gz abslibre-10ca049f62f6bffb9be68f9ab81e63ca28b60d23.tar.bz2 abslibre-10ca049f62f6bffb9be68f9ab81e63ca28b60d23.zip | |
A conflict-driven nogood learning answer set solver.
Diffstat (limited to 'pcr/mx44')
0 files changed, 0 insertions, 0 deletions