EDACC/edacc_client - GitHub Explorer | GitHub Explorer | Trending

Stars

2

Forks

2

Watchers

2

Open Issues

2

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Update drat-trim proof checker

Daniel D•12 years ago

02987d5View on GitHub

EDACC verifier for DRAT unsat proof format

Daniel D•12 years ago

1a09223View on GitHub

rename readme

Daniel D•12 years ago

4f42e09View on GitHub

drup UNSAT verifier timeout

Daniel D•12 years ago

34c756aView on GitHub

preliminary bugfix: limit solver output to 512 MB in memory

Daniel D•12 years ago

09988e3View on GitHub

drup unsat verifier update

Daniel D•12 years ago

ba6977eView on GitHub

Revert "kill verifier if corresponding job is killed"

Daniel D•12 years ago

9df110cView on GitHub

kill verifier if corresponding job is killed

Daniel D•12 years ago

365ed10View on GitHub

Merge branch 'master' of ssh://git.code.sf.net/p/edacc/edacc_client

Adrian Balint•12 years ago

ed9d2a2View on GitHub

certifiedSAT bug removed

Adrian Balint•12 years ago

3ec4e63View on GitHub

Update drup-check

Daniel D•12 years ago

fa56bddView on GitHub

bugfix

Daniel D•12 years ago

6896340View on GitHub

verifier update

Daniel D•12 years ago

f35bf88View on GitHub

wrong format message

adrianopol•12 years ago

1fe651cView on GitHub

verifier usage

Daniel D•12 years ago

d6356faView on GitHub

View all commits

GitHub Explorer

edacc_client

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues