https://github.com/aig-hagen/serialisability-solver

https://github.com/aig-hagen/serialisability-solver

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/aig-hagen/serialisability-solver
• Owner: aig-hagen
• License: other
• Created: 2023-02-05T00:56:55.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-03-13T14:54:52.000Z (10 months ago)
• Last Synced: 2024-03-13T16:03:29.379Z (10 months ago)
• Language: C++
• Size: 4.93 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# serial-solver v1.0 (02-2023)

Compile via

```

    ./build.sh

```

Implements the problems [DS-PR, DS-UC, EE-UC, EE-IT, CE-IT] and supports the

TGF format for abstract argumentation frameworks. 

Works with an integrated cryptominisat5 solver.

Also supports any external SAT solver that can read dimacs input from .

Build the SAT solver seperately and provide the link to the executable in 'serial-solver.sh'.

Example usage:

```

  ./serial-solver.sh -p DS-PR -fo tgf -f  -a 

```