Minisat solver not found when choosing in settings - Githubissues

conjure-cp / conjure-notebook

3 stars 2 forks source link

Minisat solver not found when choosing in settings #16

Open sasha704 opened 1 year ago

sasha704 commented 1 year ago

Exception: Error: Cannot find executable minisat (for solver minisat)