Skip to content

Commit 426b758

Browse files
jaantollanderjaantollander
committed
feat: removed satisfiability models
1 parent 28a013c commit 426b758

File tree

2 files changed

+0
-17
lines changed

2 files changed

+0
-17
lines changed

‎models/nxn_sat.mzn

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎scripts/nxn_sat.sh

Lines changed: 0 additions & 7 deletions
This file was deleted.

0 commit comments

Comments
 (0)