Unsatisfiability bug due to symmetry breaking
Issue #609
resolved
In attached file, idp regurlarly gives unsatisfiable (incorrectly), but no idea where it comes from. Only checked on windows.
Comments (3)
-
-
- changed title to Unsatisfiability bug due to symmetry breaking
-
assigned issue to
-
- changed status to resolved
- Log in to comment
Getest onder linux
Dit is een memory bug in symmetry breaking.
Afhankelijk van de verbosity van symmetrybreaking geeft hij soms unsat, soms niet. ligt NIET aan bdds.
Configuraties die ik getest heb op huidige master (0fc3bf5c8b846fbea9aeaa8bf8ded0680c9b9b6e)