fniksic/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Public GitHub Catalog
Discovered Sep 30, 2026
fniksic / minisat
A minimalistic and high-performance SAT solver
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19231969GitHub System ID
fniksicOrganization / User
PublicVisibility
ActiveCatalog Status
More from fniksic
fniksic/mister
Python library for parsing files in MIST format
fniksic/labyrinth
OCaml solution to Problem L (Labyrinth) from IPSC 2013
fniksic/MiniSat-ocaml
OCaML bindings for the MiniSat satisfiability solver.