This is the root directory for the solver dealing with the theory of quantifier free ordering constraints over multi-sets of integers. Directories: bench : benchmarks of verification conditions in SL (ATVA'15 paper) com : sources for running and logging benchmark execution output : SMT-LIB files generated by the reduction report : sources for the report smtlib2parser-1.4 : sources of Alberto Griggio's parser for SMT-LIB v2 src : sources of the solver