pebbling-pdr

todo complete

Requirements

vcpkg install cxxopts fmt ghc_filesystem spdlog z3

cmake -DCMAKE_TOOLCHAIN_FILE=~/vcpkg/scripts/buildsystems/vcpkg.cmake [OPTIONS]

Default OPTIONS turn of logging, stat collection and debug assertions.

Help: ./pebbling-pdr -h

General format: ./pebbling-pdr problem algorithm mode [OPTIONS]

problem = pebbling | peterson algorithm = pdr | ipdr mode = run | experiment

OPTIONS to configure the input transition system, algorithm ...

Name		Name	Last commit message	Last commit date
Latest commit History 416 Commits
benchmark		benchmark
inc		inc
output		output
src		src
tools		tools
.clang-format		.clang-format
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
README.md		README.md
TODO.txt		TODO.txt
all_rls.txt		all_rls.txt
analyse.sh		analyse.sh
build_hmodels.sh		build_hmodels.sh
collect_rls_exp.sh		collect_rls_exp.sh
correct-peter2.txt		correct-peter2.txt
last-output-4apr.txt		last-output-4apr.txt
missed_rls.txt		missed_rls.txt
new_rls.text		new_rls.text
peter-2-2.txt		peter-2-2.txt
peter-2-2[max 1 switch.txt		peter-2-2[max 1 switch.txt
peters.txt		peters.txt
profile.sh		profile.sh
result_notes.txt		result_notes.txt
rls_experiments-fullrelax.sh		rls_experiments-fullrelax.sh
rls_experiments-pebbling.sh		rls_experiments-pebbling.sh
rls_experiments-peter.sh		rls_experiments-peter.sh
rls_experiments-rsimple.sh		rls_experiments-rsimple.sh
rls_experiments-z3pebbling.sh		rls_experiments-z3pebbling.sh
rls_experiments-z3peter.sh		rls_experiments-z3peter.sh
rls_experiments.sh		rls_experiments.sh
rls_list.sh		rls_list.sh
session.vim		session.vim
small_rls (copy).txt		small_rls (copy).txt
small_rls.txt		small_rls.txt
temp_rls.txt		temp_rls.txt
z3-options.txt		z3-options.txt