fniksic/mister
Python library for parsing files in MIST format
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Python library for parsing files in MIST format
A minimalistic and high-performance SAT solver
OCaml solution to Problem L (Labyrinth) from IPSC 2013
OCaML bindings for the MiniSat satisfiability solver.