You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

23 lines
433 B

9 months ago
9 months ago
  1. \newif\ifsolution
  2. \newif\ifspacing
  3. \newif\ifannotate
  4. \input{util/toggle}
  5. \newif\iftitle
  6. \newif\ifchaptersmtzthree
  7. \newif\ifchapterproplogic
  8. \newif\ifchaptersatsolver
  9. \newif\ifchapterndprop
  10. \newif\ifchapterpredlogic
  11. \newif\ifchapterndpred
  12. \newif\ifchaptersmt
  13. \newif\ifchapterbdd
  14. \newif\ifchaptereqchecking
  15. \newif\ifchaptersymbenc
  16. \newif\ifchaptertemporal
  17. \newif\ifchapterdecidability
  18. \newif\ifassignmentsheet
  19. \input{util/chapter}