solvi 1.0 in 20 minutes: decisions you can check, from a hand-written rule to an agent that learns its world