search

mschlund / FPsolve

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

Tests #34

Closed michalt closed 11 years ago

michalt commented 11 years ago

New perf test for semilinear sets and fix for the compilation of polynomial tests.