This repository contains the Liz programming language source code and the Arbiter SDN Library. This document contains a description of the project, a description of the Liz programming language, and a guide to get Liz up and running.
Each subdirectorty houses a different Arbiter SDN library.
-
gpce- This project explores a Arbiter's complex sofware development life cycle using conepts. -
value_props- This project explores how to support constriants on SDN flow data structures using user-defined constraints.