Explore projects

View ferpcert project

scos / scos.sources / ferpcert

0

Updated May 03, 2019

0 0 0 0

Updated May 03, 2019
View ijtihad project

scos / ijtihad
Other

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

2

Updated Mar 06, 2019

2 0 0 0

Updated Mar 06, 2019
View akdv2016 project

scos / akdv2016
MIT License

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.

0

Updated May 24, 2016

0 0 0 0

Updated May 24, 2016