Skip to content

GitLab

Explore

Sign in

Kaushik Mallik
Dutreix_StochasticSynthesis

D

Dutreix_StochasticSynthesis

Project information

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis

15 Commits
1 Branch
0 Tags

README

Created on

October 27, 2021

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:kmallik/dutreix_stochasticsynthesis.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/kmallik/dutreix_stochasticsynthesis.git