Skip to content
This repository has been archived by the owner on Feb 8, 2022. It is now read-only.

Presburger/QS_Act

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

QS_Act

QS actor

sudo apt install libboost-dev libcurl4-openssl-dev libprotobuf-dev \
    libgrpc++-dev protobuf-compiler libssl-dev build-essential curl

Releases

No releases published

Packages

No packages published