Basic solver implementation (untested)
readme