search

mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings
BSD 2-Clause "Simplified" License
11 stars 5 forks source link

Optimizer/Approximator Interfaces and Implementations #20

Closed mschlund closed 11 years ago

mschlund commented 11 years ago

For certain semirings we want to be able to optimize or even abstract (over/underapproximate) the results of operations.

To be able to switch conveniently between different libraries/tools (LP-solvers, SMT-solvers, custom approximators, dummy optimizers that don't do anything) we want to be able to pass them as template parameters e.g. to our semiring.