Feature #459
LinearSimplify: port to CoCoALib
Start date:
07 Mar 2014
Due date:
% Done:
0%
Estimated time:
Description
Rewrite LinearSimplify
in C++ so it is available in CoCoALib.
Related issues
History
#1 Updated by Anna Maria Bigatti over 10 years ago
- Target version set to CoCoALib-0.99534 Seoul14
#2 Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0