symbolic Directory Reference

Files
	assumptions.h
	Symbol assumptions for reasoning about bounds, constness, and evolution.
	conjunctive_normal_form.h
	Conversion of conditions to conjunctive normal form (CNF).
	delinearization.h
	extreme_values.h
	Computing bounds of symbolic expressions using assumptions.
	maps.h
	Analysis of symbol evolution through maps.
	polyhedral.h
	RAII facade over the Integer Set Library (ISL).
	polynomials.h
	Polynomial representation and manipulation.
	sets.h
	Integer set operations for symbolic expressions.
	symbolic.h
	Symbolic system for integer-based symbol analysis.
	utils.h
	ISL (Integer Set Library) integration utilities.