Project

General

Profile

Feature #1090

ExternaLib-MathSAT: first prototype

Added by Anna Maria Bigatti almost 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
New Function
Target version:
CoCoALib-0.99560
Start date:
12 Jul 2017
Due date:
29 Jul 2017
% Done:

100%

Estimated time:
30.00 h
Spent time:
29.00 h

Related issues

Related to CoCoA-5 - Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSATClosed2017-07-13

History

#1 Updated by Anna Maria Bigatti almost 7 years ago

  • % Done changed from 0 to 60
  • Estimated time changed from 20.00 h to 30.00 h

Cleaned up first prototype (0.99550), all in example into a more proper itnegration in ExternalLib-MathSAT.
The example ex-MathSAT1.C is more readable now.

#2 Updated by Anna Maria Bigatti almost 7 years ago

  • Related to Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT added

#3 Updated by Anna Maria Bigatti almost 7 years ago

  • % Done changed from 60 to 70

I made a class MathSAT::env as a wrapper for msat_env

The interface is currently only via matrices.
See examples/ex-MathSAT1.C

#4 Updated by Anna Maria Bigatti over 6 years ago

  • Status changed from New to Resolved
  • % Done changed from 70 to 80

Polish the examples (remove obsolete ones) and consider this done for this stage.

#5 Updated by Anna Maria Bigatti over 6 years ago

  • % Done changed from 80 to 90

Cleaned up examples (now 2 examples).

#6 Updated by Anna Maria Bigatti over 6 years ago

Added documentation in CoCoALib

#7 Updated by Anna Maria Bigatti over 6 years ago

added documentation in cocoa-5

#8 Updated by Anna Maria Bigatti over 6 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF