numerous solver