First snapshot of cassowary solver