Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#514
Replace PicoSat by Kissat
Soheib tells me we should really replace our embedded PicoSAT by
Kissat
, supposedly much faster.
Edited
Sep 08, 2022
by
Alexandre Duret-Lutz