src/steps.c
//2nd step: put the formula in DNF
2nd step: put the formula in DNF
2nd step : put the formula in DNF
void
put_in_DNF()
{
}
void put_in_DNF ( ) { }
2nd step: put the formula in DNF
2nd step : put the formula in DNF
//TODO