SAT_cnf_Shiny Solving the SAT CNF Problem in R This application is live and running at https://mattonimus.shinyapps.io/sat_cnf_shiny/