Porovnání systémů pro programování s omezujícími podmínkami – Mgr. Miroslava Plachá
Mgr. Miroslava Plachá
Bachelor's thesis
Porovnání systémů pro programování s omezujícími podmínkami
Comparison of systems for constraint programming
Abstract:
V této práci jsou porovnány tři odlišné systémy, které se používají pro programování s omezujícími podmínkami. Jsou jimi SICStus Prolog jako zástupce logického programování s omezujícími podmínkami, ILOG Solver – obsáhlá komerční knihovna pro jazyk C++, a Gecode/J – volně dostupná knihovna pro jazyk Java reprezentující nové nástroje pro práci s omezujícími podmínkami, které vznikají v posledních letech …moreAbstract:
This bachelor work compares three different systems for constraint programming. The systems are SICStus Prolog as a representative of constraint logic programming systems, commercial C++ library ILOG Solver and Gecode/J – free library for Java language, which represents new systems in constraint programming. The work is focused on constraint programming over finite domains.
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier:
https://is.muni.cz/th/slduv/
Thesis defence
- Date of defence: 21. 6. 2007
- Supervisor: doc. Mgr. Hana Rudová, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Adaptabilní systém pro výuku základů programování
Tomáš Effenberger -
Systém pro výuku základů programování a robotiky
Tomáš Juřena -
Systém pro podporu výuky programování
Tomáš Mikulenka -
Využití moderních webových technologií pro vývoj prototypu typového CRM pro malé podniky
David Zoufalý -
Informační systém pro správu výukových kurzů programování
Petr Svoboda -
Prozkoumání systémů pro elektronickou podporu výuky programování a návrh vlastního systému
David Salač -
Systém pro programování výukového kitu Minerva
Michal Dohnal -
Rozvrhování pomocí logického programování s omezujícími podmínkami
Martin Šmérek