GitSocial · Repository PassportCOMPLETED · 2026-10-25Z

SatsSolver-Java yongkangc · COMPLETED

Sat Solver in Java

github.com/yongkangc/SatsSolver-Java · ★ 0 · Forks 0 · Size 1.1 MB

SUMMARY

Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 5
Skips 0

COVERAGE

Analyzed 58 files · 12 commits · 0 API calls

TECHNOLOGIES & DEPTH

Java LANGUAGE Depth 70
20 files · PRODUCTION
XML LANGUAGE Depth 70
3 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
JUnit TESTING Depth 37
1 files · TEST
TypeScript LANGUAGE Depth 50
2 files · PRODUCTION

PRACTICES

documentation · absentautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent

ACTIVITY & OWNERSHIP

First commit 2022-03-01
Last commit 2022-03-05
Active months 1
Commits 12

View on GitHub · GitSocial