A simple SAT and TAUT checker for boolean expressions written in Haskell This project allows you to check whether a boolean expression is satisfiable (SAT) or a tautology (TAUT).

Options Symbol Finder A Python tool for fetching option chain data from Charles Schwab API, specifically designed to get option symbols for the 7 closest strikes (current +3 above, +3 below) for both ...