Geek Repo
followers
following
stars
Company:@torusware
Location:Spain
Github PK Tool:Github PK Tool
DEMaxSAT is a incomplete MaxSAT solver based on Differential Evolution.