GitHub repository: makaimann/prophic3
Primary language: SMT
Description: Experiments with prophecy variables for symbolic model checking.