liebke/cogito - GitHub Explorer | GitHub Explorer | Trending

Stars

13

Forks

1

Watchers

13

Open Issues

0

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

added unify

David Edgar Liebke•14 years ago

bb8d329View on GitHub

minor refactoring and documentation

David Edgar Liebke•14 years ago

92bce3eView on GitHub

reimplemented top-level query functions

David Edgar Liebke•14 years ago

be4dc66View on GitHub

more refactoring

David Edgar Liebke•14 years ago

ba053d0View on GitHub

renaming and deleting functions

David Edgar Liebke•14 years ago

73d4715View on GitHub

removed version 1.0 functions

David Edgar Liebke•14 years ago

faf8a76View on GitHub

refactoring

David Edgar Liebke•14 years ago

634db89View on GitHub

fixed bug in score-rules

David Edgar Liebke•14 years ago

a791ca7View on GitHub

more experiments for refactor

David Edgar Liebke•14 years ago

abb32a3View on GitHub

[WIP] new tests, more experimenting

David Edgar Liebke•14 years ago

6e751a5View on GitHub

experimenting with model generation

David Edgar Liebke•14 years ago

80505f6View on GitHub

added logical operation functions that generate valid models for a given logical statement

David Edgar Liebke•14 years ago

2414582View on GitHub

documentation fixes

David Edgar Liebke•14 years ago

54cf2f5View on GitHub

updated readme

David Edgar Liebke•14 years ago

e6304e3View on GitHub

updated readme

David Edgar Liebke•14 years ago

71d908aView on GitHub

View all commits