GitHub - ondrik/dWiNA: Implementation of decision procedure for WSkS logic

This branch is 29 commits behind tfiedor/dWiNA:master.

Name	Name	Last commit message	Last commit date
Latest commit tfiedor Several optimizations that were little bit useful. Oct 14, 2014 79c81b7 · Oct 14, 2014 History 119 Commits
benchmarks	benchmarks	Added benchmarks	Oct 13, 2014
doc	doc	Resolved #94	Sep 11, 2014
examples	examples	Few changes	Sep 23, 2014
include/vata	include/vata	Support for new version of VATA, fixed bug with flattening	Oct 11, 2014
src	src	Several optimizations that were little bit useful.	Oct 14, 2014
tests	tests	Basic structure of repository	Feb 5, 2014
.gitignore	.gitignore	Basic implementation of project	Feb 15, 2014
.project	.project	Benchmarks: Added simple script for automata testing	Sep 29, 2014
CMakeCache.txt	CMakeCache.txt	Updated benchmarks for more hardcore evaluation	Sep 8, 2014
CMakeLists.txt	CMakeLists.txt	Basic skeleton of new procedure	Sep 25, 2014
Makefile	Makefile	Basic skeleton of new procedure	Sep 25, 2014
testbench.py	testbench.py	Several optimizations that were little bit useful.	Oct 14, 2014