Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up

SDD-based Forward LTLf Synthesis

License

NotificationsYou must be signed in to change notification settings

whitemech/cynthia

Repository files navigation

Cynthia is a tool for SDD-based Forward LTLf Synthesis.

Preliminaries

  • CMake, at least version 3.2;
  • Flex & Bison
  • SDD 2.0
git clone https://github.com/wannesm/PySDD.gitcd PySDD/pysdd/lib/sdd-2.0sudo cp -P lib/Linux/* /usr/local/lib/sudo cp -Pr include/* /usr/local/include

Build

Build as any CMake project:

mkdir build && cd buildcmake .. -DCMAKE_BUILD_TYPE=Releasemake -j4

Development

The project usesclang-format for code formatting.Install the toolclang-format, e.g. on Ubuntu using APT:

sudo apt install clang-format

To check the project satisfies the format:

./scripts/check-clang-format.sh

To apply the changes:

./scripts/apply-clang-format.sh

To check that copyright notices are OK:

python scripts/check_copyright_notice.py
[8]ページ先頭
©2009-2025 Movatter.jp