Fix error in rule generation
Implement Cobalt Script solver