Already done:

derivative type  set of CNF clause types  set of relations
raw material     CNF formula		  CSP formula
finished product Boolean assignment	  Boolean assignment
quality          fraction of sat. clauses fraction of sat. constraints 

New:

set of node types
graph using these node types
finished product: simple path
quality: length of path / all nodes

use set of relations:
sum x_i = j
sum x_i >= j
sum x_i <= j

Constraint : Exact | GreaterThan | LessThan common List(Variable) <sum> int.

raw material:

We consider a special case of our SDG(CSP) game where
raw materials are represented by formulas such as:

10  = x1 x6 x8 1
3   = x1 x5 x7 2
4   >= x1 x2 1
200 <= x1 x2 1


How would you manage this software development project?

Design a class dictionary to use for inputting the
special kind of raw material.

How would you leverage the current SDG(CSP) implementation?