-
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
Unittest - R Package
Concise TAP compliant unit testing package. Authored tests can be run using CMD check with minimal implementation overhead. -
RSeqAn: Headers and wrappers for the SeqAn library in R
This package provides R with access to SeqAn v2.4 header files. SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of... -
Cyberbridge_GUI
This is the GUI developed in Matlab for the Cyberbridge project presented and implemented in the Structural Engineering course at Chalmers University of Technology. -
A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning: The P...
A* search-based planner for Oversubscription Planning, as described in the paper A∗ Search and Bound-Sensitive Heuristics for Oversubscription Planning... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...