search

mschlund / FPsolve

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

Replace genIdx #17

Closed michalt closed 11 years ago

michalt commented 11 years ago

New generator replacing the genIdx. This is still not as fast as we could do it, but it's probably not worth spending any more time on it...