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 /java/jna | |
parent | 805ca4cd0c895dd1580608f1393ca627e7ff748d (diff) |
A conflict-driven nogood learning answer set solver.
Diffstat (limited to 'java/jna')
0 files changed, 0 insertions, 0 deletions