Instance Class WeightedLatinSquares

Class Tree	[Root] Puzzles (806) LatinSquares (200) WeightedLatinSquares (100)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 61 - 80 of 100	weighted_ls.1976117633 weighted_ls.1976119717 weighted_ls.1976121164 weighted_ls.1976121766 weighted_ls.1976123730 weighted_ls.1976125402 weighted_ls.1976126795 weighted_ls.1976127211 weighted_ls.1976128002 weighted_ls.1976128122 weighted_ls.1976128651 weighted_ls.1976130438 weighted_ls.1976131149 weighted_ls.1976135316 weighted_ls.1976135977 weighted_ls.1976148351 weighted_ls.1976149124 weighted_ls.1976149599 weighted_ls.1976150707 weighted_ls.1976153426 un-/mark all

Actions