- algorithms
- combinatorics on words
- information retrieval
- compressed data structures
- data compression
- data structure
- string processing
koeppl / pysat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pysathq/pysat
A toolkit for SAT-based prototyping in Python
Home Page: https://pysathq.github.io/
License: MIT License