Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.
ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Code examples for the lecture
Illustrative examples extending lecture content
This project provides an interface to interact with an IEEE802.11 device.
As of now '2021.10.18' only the access point devices are supported.
More functionalities might follow.
A Mirror of the Libtins project on GitHub.