diff README @ 248:8fdd20399a06

plugin card_game: use the games.py from sat/src/tools/frontends
author souliane <souliane@mailoo.org>
date Wed, 23 Oct 2013 18:32:01 +0200
parents 732ed69ffe11
children ce5b33f499c5
line wrap: on
line diff