List of mixed boolean-arithmetic resources - View it on GitHub