Remaining Functions & bugs fixed

Interface for solve functions in SolveAll; complaint set generator in
Complaint; database state  generator given complaint set in
DatabaseState.