Feature #387
implement algorithm(s) for resolutions
Start date:
23 Jul 2013
Due date:
% Done:
0%
Estimated time:
Description
(with M.Caboara)
Related issues
History
#1 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#2 Updated by Anna Maria Bigatti over 10 years ago
- Assignee set to Anna Maria Bigatti
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#3 Updated by Anna Maria Bigatti about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#4 Updated by Anna Maria Bigatti almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0