Instance Class WeightedLatinSquares

Class Tree	[Root] Puzzles (806) LatinSquares (200) WeightedLatinSquares (100)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 1 - 20 of 100	weighted_ls.1162362547 weighted_ls.1162368434 weighted_ls.1162378470 weighted_ls.1162549540 weighted_ls.1162571546 weighted_ls.1162579118 weighted_ls.1162583044 weighted_ls.1162586028 weighted_ls.1162588733 weighted_ls.1162592956 weighted_ls.1162596127 weighted_ls.1162599287 weighted_ls.1612829524 weighted_ls.1612831283 weighted_ls.1612835538 weighted_ls.1613117471 weighted_ls.1613118035 weighted_ls.1613142043 weighted_ls.1613145884 weighted_ls.1613150432 un-/mark all

Actions