DCSAT je upravena verze MiniSatu ( Copyright (c) 2003-2005, Niklas Een, Niklas Sorensson )

Projekt je napsan v jazyce C++ prostrednictvim MS Visual Studio 2005.
Pro spravny preklad je nutno mit ve Vlastnostech projektu, v zalozkach
Configuration Properties->Linker->Command Line napsano: zlib1.lib /STACK:2097152

Program se spousti s dvema argumenty: vstupni soubor obsahujici zkoumanou formuli
a vystupni soubor obsahujici vysledek zkoumani. Napr:

dcsat.exe formule.cnf vystup.txt

Pri behu programu je vyuzivano techto knihoven:
ADVAPI32.DLL
KERNEL32.DLL
MSPDB80.DLL
MSVCR80D.DLL
USER32.DLL
ZLIB1.DLL
Pokud nekterou z techto knihoven nemate v systemu, zkorpirujte si ji z adresare Debug.



Jan Lomitzki
FEL CVUT