Wed, 21 Mar 2012 16:53:24 +0100 | blanchet | doc update | changeset | files |
Wed, 21 Mar 2012 16:53:24 +0100 | blanchet | improve "remote_satallax" by exploiting unsat core | changeset | files |
Wed, 21 Mar 2012 16:53:24 +0100 | blanchet | generate weights and precedences for predicates as well | changeset | files |