Expired
Milestone expired on Aug 12, 2019

Solve a complex SAT problem

What does 'complex' mean?
too complex to solve by hand.

  • Work items 0
  • Merge requests 0
  • Participants 0
  • Labels 0
Loading
Loading
Loading
Loading
0% complete
0%
Start date
No start date
Until
Aug 12 2019
Due date
Aug 12, 2019 (Past due)
0
Work items 0 New issue
Open: 0 Closed: 0
None
Total weight
None
0
Merge requests 0
Open: 0 Closed: 0 Merged: 0
0
Releases
None
Reference: ja_he/potato-sat%"Solve a complex SAT problem"