Solve a complex SAT problem · Milestones · Jan Hensel / potato-sat · GitLab

Skip to content

GitLab

Explore

Sign in

Expired

Milestone expired on Aug 12, 2019

Solve a complex SAT problem

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

Issues 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

Issues 0 New issue

Open: 0 Closed: 0

None

Total issue 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"