Links to Screamer examples broken

38 views

Skip to first unread message

unread,

Nov 13, 2024, 9:45:34 AM11/13/24

to Screamer

the links to the github-hosted examples are broken, e.g.

3.1 Einstein's Riddle

Solving the “Einstein's Riddle” using nondeterministic features of Screamer, ie. backtracking search.

Both links are 404 right now.

Martin

Reply all

Reply to author

Forward

0 new messages