Until we finish the migration to the new acme library, we have to bring the solver type in-house. It's small and temporary.
Matthew Holt