Open logicarl opened 4 years ago
Hi Carl. Thanks for your interest in this project. This repository has accumulated a lot of various experimental software and mainly provides base modules for some other tools:
I will take a look at the problems you mentioned. But if you tell me more about what you want to achieve I can check that out specifically. Is it drawing of infrastructure you want to do?
Hi Bjørnar, Thank you for your answer! The junction repository is what I am looking for. That solves my problem and I will work with that from now on. My mistake was that I only read to chapter 3 of your PhD thesis and did not notice the description of the junction tool in the appendix.
I am still in the early stages, but my goal will be to augment your capacity verification by checking for robustness. For now, I just want to familiarize myself with the tool and the code.
Great, that sounds cool. I would love to see the result when you're finished.
We have actually improved on the text on capacity verification since I made the PhD thesis. Email me if you would like a copy.
Description
When trying to build the project as described in the README, the build fails on a code issue in vis-rs:
It seems that there was a change in rolling which was not implemented in vis-rs. I tried fixing it by making two changes:
These changes satisfied the compiler and the build process continued, but later ran into a runtime error while building the docs:
I am just a beginner in rust and do not understand how to solve the problem, and in what way my previous "fix" might have caused it. I am very interested in using your tool for my Bachelor's thesis and would appreciate your help very much.
Additional Dependencies
While trying to build trainspotting, I discovered some dependencies not described in the README and some changes that hat to be made to the Cargo.toml files due to deprecated code in newer crate versions. Maybe this is helpful for you too:
Additional Libraries:
Changes to Cargo.toml files:
time="*"
totime="0.1"
z3="*"
toz3=0.3.0
and changelp-modeler="*"
tolp-modeler="0.3.1"
Additional Cabal Dependencies: