← Back to branch summary

~danilovesky/workcraft/trunk-save-trace

~danilovesky/workcraft/trunk-save-trace

Viewing all changes in revision 642.

Committer: Danil Sokolov
Date: 2015-08-04 18:37:18 UTC
mfrom: (637.1.1 workcraft)
Revision ID: danilovesky@gmail.com-20150804183718-9dthjqg9yv6ltdmp

https://launchpad.net/bugs/1480444

Merge proposal for bug #1480444 approved.

files modified:
CpogsPlugin/src/org/workcraft/plugins/cpog/gui/ScencoDialogSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoResultHandler.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

Show diffs side-by-side

added added

removed removed

CpogsPlugin/src/org/workcraft/plugins/cpog/gui/ScencoDialogSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoResultHandler.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

Older »