0
I Use This!
Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Apr 28, 2023 — Apr 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
🔄 Synced file(s) with conda/infra (#40) More... over 2 years ago
Merge pull request #30 from mingwandroid/master More... over 6 years ago
update changelog More... over 6 years ago
Revert "always use Python memory manager" More... over 6 years ago
update picosat version in readme More... about 7 years ago
update git ignore More... about 7 years ago
update changelog More... about 7 years ago
add release date More... about 7 years ago
simplify test code More... about 7 years ago
move version definition into C file More... about 7 years ago
update picosat to 965 More... about 7 years ago
update dev status More... about 7 years ago
add official Python 3.6 support More... over 7 years ago
update changelog More... over 8 years ago
add official Python 3.5 support More... over 8 years ago
Merge pull request #10 from asmeurer/spelling More... over 8 years ago
Python 3.4 is also supported now More... almost 10 years ago
add release date and version More... about 10 years ago
Fix various spelling errors More... about 10 years ago
Revert "restore TypeError being raised for dictionary" More... over 10 years ago
add example More... over 10 years ago
restore TypeError being raised for dictionary More... over 10 years ago
cleanup - update comment More... over 10 years ago
Merge pull request #5 from wkschwartz/py2-compile More... over 10 years ago
Merge pull request #4 from wkschwartz/iter-type-check More... over 10 years ago
Test non-list iterable arguments on itersolve More... over 10 years ago
Fix compilation error in Python 2 More... over 10 years ago
Add a test to ensure a bad iterator won't segfault pycosat.c's add_clauses More... over 10 years ago
Teach solve/itersolve to accept clauses as general iterables More... over 10 years ago
White space More... over 10 years ago