Project

General

Profile

« Previous | Next » 

Revision 2761a943

ID2761a943b6c3f4788e2c132fa9e51cca96d4d570
Parent e919f880
Child 2e9e42f2

Added by Hans-Peter Deifel 8 months ago

Import pgsolver as git submodule

A parity game solver that will be used to solve games arising from the
full mu-calculus.

- Adds a new submodule under `vendor/` for pgsolver. Linking without
including it in the source proved difficult at the moment.
- Adds a new library `libpgsolver` to _oasis that contains the files
from pgsolver that we need in cool.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences