Solving supervisory control problems (represented as finite state automata) using Satisfiability.
Categories
Scientific/EngineeringLicense
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow fsa2sat
Other Useful Business Software
To win in today’s business environment, you need the right people, with the right skills, in the right jobs, at the right time. Avilar, the Competency Company, helps astute organizations optimize their workforce for success. Avilar’s competency and eLearning tools provide flexible workforce analytics solutions that work.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of fsa2sat!