https://instrumentationtools.com/sis-logic-solvers/