JSMSolver (nuget): Classes for reasoning (JSM-Method ARS)
Keywords: JSM