README ¶ Saturday A SAT solver modeled after the MiniSat paper. Expand ▾ Collapse ▴ Directories ¶ Show internal Expand all Path Synopsis cmd saturday command config encoding lit order solver tribool Click to show internal directories. Click to hide internal directories.