Revision 1d0fd52b
updated division for Horn clauses
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1d0fd52b19ee9a83f74337a826945c1e27bb2203 |
Parent | 14da5302 |
Child | 22a34b49, 885b2896, 873647ba |
Added by Xavier Thirioux almost 3 years ago
updated division for Horn clauses