Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@vincenzoml
vincenzoml committed Jan 7, 2022
1 parent 9e4bf77 commit 025c1ed
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
View file
Expand Up @@ -14,13 +14,13 @@ TACAS 2019 presentation paper: https://link.springer.com/chapter/10.1007/978-3-0

download: https://github.com/vincenzoml/VoxLogicA/releases

source code for the *experimental* branch: https://github.com/vincenzoml/VoxLogicA/releases/tag/v1.0-experimental
source code for the **experimental** branch: https://github.com/vincenzoml/VoxLogicA/releases/tag/v1.0-experimental

source code for the *master* branch: https://github.com/vincenzoml/VoxLogicA/tree/master (use experimental for fresher releases)
source code for the **master** branch: https://github.com/vincenzoml/VoxLogicA/tree/master (use experimental for fresher releases)

source code for the *gpu* implementation: https://github.com/vincenzoml/VoxLogicA/tree/gpu-new
source code for the **gpu** implementation: https://github.com/vincenzoml/VoxLogicA/tree/gpu-new

source code for *PolyLogicA*, the implementation operating on polyhedra: https://github.com/vincenzoml/VoxLogicA/tree/polyhedra
source code for **PolyLogicA**, the implementation operating on polyhedra: https://github.com/vincenzoml/VoxLogicA/tree/polyhedra

ESMRM-B 2019 poster:

Expand Down

0 comments on commit 025c1ed

Please sign in to comment.