Add 3 literal dialog panel
cleanup
3 lit generator
3 batch mode added
drop 3 modes and density rate, generate program only based on input
start and end value
fininshed generater
add clingo as a selectable solver