Hledání přípustných bodů systémů rovnic a nerovnic

Práce zahrnuje implementaci, srovnání, a případné zlepšení různých metod pro hledání přípustných bodů systémů rovnic a nerovnic. Celý projekt bude probíhat v rámci existujícího řešiče pro odstraňení nepřípustných bodů