Add Sat4j-based solver (!127) · Merge requests · Antoine Belvire / croiseur · GitLab

Antoine Belvire requested to merge feature/48_sat_solver into master Sep 27, 2023

Context

Implements #48 (closed).

What has changed?

Main Changes

`solver-sat`, `solver-sat-plugin`

Created projects.

`croiseur-cli`, `croiseur-gui`

Add new solver plugin as runtime dependency.

`doc`

Expand explanations on how solvers work with the SAT solver approach

Others

`dictionary-common`

Improve dictionary filtering.

`solver-ginsberg`

Reworked a bit GridDataBuilder to remove a warning. Unrelated.

Edited Oct 03, 2023 by Antoine Belvire