argmat-sat

argmat-sat employs SAT engines to solve argumentation problems. The SAT engines take Boolean CNF formulas as inputs, which are converted from the Boolean constraint models, that are used in argmat-clpb, with polynomial complexity. For computing the preferred semantics, we introduce an assumption space into SAT engines, which can be used as a temporary clause base for searching a maximal extension. When a maximal extension is found, the clauses in assumption space are erased in order to correctly search the next maximal extension. This idea is also used to compute the ID, SST and STG semantics.

argmat-sat is implemented by C++, which supports all computational problems of ICCMA-2017, and satisfies the standard command interface of the requirements of ICCMA-2017. Its SAT engine is selected as CryptoMiniSat5, which provides an easy-to-use programming interface with high computational efficiency, wins the incremental track at SAT Competition 2016, and gets 3rd place at the parallel track. The current version of argmat-sat, submitted to ICCMA-2017, supports multi-threaded, and can be successfully compiled and run under both Windows and Unix OS.

Supported Tasks

argmat-sat currently supports all tracks of ICCMA-17.

External software needed for compiling

To compile this project, cmake and valgrind, libm4ri-dev are neccessary. The following commands can install these tools.

sudo apt-get install build-essential cmake
sudo apt-get install valgrind libm4ri-dev

In the build.sh, we use sudo apt-get install build-essential cmake and sudo apt-get install valgrind libm4ri-dev to install these three external softwares.

If any problem occurs related to “sudo” premission, please comment these two lines.

How to Run?

argmat-sat supports the command-line interface of the requirements of ICCMA 2017. When the building process is successful, the excutable program is copied into the current directory, and a simple test will be run (see the script build.sh in the source codes).

Downloads

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ċ

Download
The executable program compiled for Linux x64 machine  469k v. 1 17 May 2017, 19:33 蒲甫安
ċ

Download
The executable program compiled for Mac OS 10.12   432k v. 1 21 May 2017, 09:29 蒲甫安
ċ

Download
The source codes submitted to ICCMA 2017  6562k v. 1 17 May 2017, 03:13 蒲甫安
ċ

Download
The executable program for Windows x64 machine, compiled by MSVC 14  573k v. 1 18 May 2017, 21:35 蒲甫安
Comments