kalmar
/
GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

last change to the README

This commit is contained in:
kalmarek 2017-12-21 13:51:11 +01:00
parent 6c981817fa
commit a33110937a
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
README.md
View File

@ -105,7 +105,16 @@ Pkg.resolve()
# Specific version of [1712.07167](https://arxiv.org/abs/1712.07167)
You need to run `julia-0.6`. In REPL execute
You need to run `julia-0.6`.
Clone `https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT` and checkout the `1712.07167` branch:
```
git clone https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT.git
cd ./GroupsWithPropertyT
git checkout 1712.07167
```
In `julia`s REPL execute
```julia
Pkg.add("ArgParse")
Pkg.add("Nemo")