# `solvelib` - data types and utilities for the solver

## Table of contents

1. `BasicSet` - the basic infinite sets
2. `conditionalSort` - possible sortings of a list depending on parameters
3. `getElement` - get one element of a set
4. `isFinite` - test whether a set is finite
5. `pdioe` - solve polynomial Diophantine equations
6. `preImage` - preimage of a set under a mapping
7. `Union` - union of a system of sets

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000