Moving SAT-Based Solver parameters into SCENCO
Bug #1470539 reported by
Alessandro de Gennaro
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Wishlist
|
Alessandro de Gennaro | ||
Bug Description
Moving following options: "Encoding bit-width" and "Circuit size in 2-input gates" from Edit -> Preferences -> Scenco into SCENCO tool itself.
Related branches
lp:~alex10-dege/workcraft/trunk-bug-1470539
- Danil Sokolov: Pending requested
-
Diff: 338 lines (+87/-35)4 files modifiedCpogsPlugin/src/org/workcraft/plugins/cpog/CpogSettings.java (+0/-10)
CpogsPlugin/src/org/workcraft/plugins/cpog/EncoderSettings.java (+9/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/gui/ScencoConfigurationDialog.java (+75/-22)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoTask.java (+3/-2)
| Changed in workcraft: | |
| assignee: | nobody → Alessandro de Gennaro (alex10-dege) |
| Changed in workcraft: | |
| status: | New → In Progress |
| Changed in workcraft: | |
| status: | In Progress → Fix Committed |
| Changed in workcraft: | |
| importance: | Undecided → Wishlist |
To post a comment you must log in.
