« Previous | Next » 

Revision 66:5013b781581c

ID5013b781581c
Parent 65:a59acb251a97
Child 67:80c59b530080

Added by Čáp Michal almost 7 years ago

solver supports k=2; added superconflict problem

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences