A Simple SAT. Simulator using Acumen Language.
An intuitive tool for simulating mathematical models of cyber-physical systems and for visualizing them as plots or in 3D. Students as young as eight years and up to the PhD level use it to learn STEM subjects. Researchers use it to develop better CPS technologies. It is distributed as free, open-source software under a BSD licence.
