First sensible extensible solver