Simple BDD Solver

A simple BDD based safety game solver for the Reactive Synthesis Competition.

Winner of the 2014, 2015, 2016 and 2017 sequential realizability tracks.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
src/SimpleBDDSolver		src/SimpleBDDSolver
LICENSE		LICENSE
MainAbsSolver.hs		MainAbsSolver.hs
MainPortfolioSolver.hs		MainPortfolioSolver.hs
MainSolver.hs		MainSolver.hs
Readme.md		Readme.md
Setup.hs		Setup.hs
simplebddsolver.cabal		simplebddsolver.cabal

Provide feedback