priitj's repositories
libarchive
Multi-format archive and compression library
Language:CNOASSERTION000
logictools
Simple algorithms for converting and solving propositional formulas: easy to hack and experiment with.
Language:JavaScript000
Multi-format archive and compression library
Simple algorithms for converting and solving propositional formulas: easy to hack and experiment with.