idesolver
tests
