search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Update kissat to 3.0.0 #28

Closed lou1306 closed 1 year ago

lou1306 commented 1 year ago

Update to the latest release of KissSAT.