search

Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU Affero General Public License v3.0
2 stars 8 forks source link

Pale Green in BattleShip #118

Open chrisvander opened 6 years ago

chrisvander commented 6 years ago

When using multiple branches to place battleships, merging identical branches does not verify them and throws an error.