SPADE: A Library for Programmatic Parsing and Verification of Discrete Data Structures

SPADE is a library written in C# that takes string instances of discrete math data structures and parses them into data structures that are easily accessible using C#’s built in data structures. It also checks that the string instances appropriately follow specified constraints, that the various sets and lists of a problem relate to each other in a specified way. These constraints are defined using a language written as a string that closely follows normal discrete math syntax. Using this language, SPADE provides a flexible framework for defining problem types out of basic discrete math operations, which allows efficient parsing and validation of string representations of that problem.