no 'sortOnActivity' - Githubissues

shnarazk / mios

A SAT solver written in Haskell.

https://gitlab.com/satisfiability01/mios/

GNU General Public License v3.0

39 stars 3 forks source link

Closed shnarazk closed 8 years ago

shnarazk commented 8 years ago

reduceDB needs sortOnActivity!

shnarazk commented 8 years ago

fixed by 088ddba5841c546d239dc2d43880492f52a61ea7

shnarazk commented 8 years ago

Due to the performance regression, sortOnActivity had to be implemented as is. Done at version 1.0.1.