search

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

Is 'msse' useful with llvm? #31

Closed shnarazk closed 7 years ago

shnarazk commented 7 years ago

mios-1.4.0 uses it; 1.4.1 not so far. Nonsense!