Pinned Repositories
lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
glucose
The glucose SAT solver
python-project-template
📄 Template for python based projects.
systems
test-template
libminizinc
The MiniZinc compiler
clingo
🤔 A grounder and solver for logic programs.
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
MaxOstrowski's Repositories
MaxOstrowski/glucose
The glucose SAT solver
MaxOstrowski/python-project-template
📄 Template for python based projects.
MaxOstrowski/systems
MaxOstrowski/test-template