sKizzo-0.9-grn

Submitter: Marco Benedetti
Description: The solver sKizzo with an emphasis on "ground" reasoning
Results: