Initial progress
Finished impelemntation (we think), writing empty solver