eidelmanjonathan / aws-CnC Public

forked from marijnheule/aws-CnC

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Cube-and-Conquer for Amazon Web Services

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 109 Commits
cadical		cadical
iglucose		iglucose
march_cu		march_cu
scripts		scripts
tests		tests
Dockerfile		Dockerfile
README.md		README.md
build.sh		build.sh
par-cube-glucose.sh		par-cube-glucose.sh

Repository files navigation

aws-CnC

This is a repository of the Cube-and-Conquer solver for AWS

++++ STILL UNDER DEVELOPMENT ++++

About

Cube-and-Conquer for Amazon Web Services

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 73.3%
C 23.4%
Shell 2.8%
Other 0.5%