Explore projects

SIP / zybo_base_design

1

Updated Sep 09, 2021

1 0 0 0

Updated Sep 09, 2021
S

scos / scos.sources / S4
MIT License

0

Updated May 01, 2021

0 0 0

Updated May 01, 2021
E

CON / examples-2020

Illustrative examples extending lecture content

0

Updated Oct 01, 2020

0 0 0 0

Updated Oct 01, 2020
SIP / zedboard_base_design

0

Updated Sep 29, 2020

0 0 0 0

Updated Sep 29, 2020
Z

SoC2019 / zybo_base_design

0

Updated Sep 03, 2020

0 1 0 0

Updated Sep 03, 2020
E

CON / examples

Code examples for the lecture

1

Updated Jul 24, 2020

1 0

Updated Jul 24, 2020
I

scos / ijtihad
Other

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

2

Updated Jul 24, 2020

2 0 0 0

Updated Jul 24, 2020
U

itsec / upstream2019
Other

0

Updated Jul 24, 2020

0 0

Updated Jul 24, 2020
F

scos / scos.sources / ferpcert

0

Updated Jul 24, 2020

0 0 0 0

Updated Jul 24, 2020
A

scos / akdv2016
MIT License

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

0

Updated Jul 24, 2020

0 0 0 0

Updated Jul 24, 2020