gringo claims program is incosistent

Status: Beta

Brought to you by: sthiele

This project can now be found here.

#3 gringo claims program is incosistent

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2008-04-14

Created: 2008-04-14

Creator: Sven Thiele

Private: No

gringo claims the attached instance of hashiwokaero is inconsistent but it's not

Discussion

Sven Thiele - 2008-04-14

hashiwokakero_inst2_size30_sat.lp

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.