fniksic/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Developer Profile
fniksic
Discovered public repositories for fniksic in the GitHub catalog.
fniksic/mister
Python library for parsing files in MIST format
fniksic/minisat
A minimalistic and high-performance SAT solver
fniksic/labyrinth
OCaml solution to Problem L (Labyrinth) from IPSC 2013
fniksic/MiniSat-ocaml
OCaML bindings for the MiniSat satisfiability solver.
fniksic/config
Public repository.
fniksic/mpi-sws-vscomp
A repository used at the MPI-SWS during the VSTTE Competition 2013
fniksic/mist
Safety checker for Petri Nets (and some extensions)
fniksic/mathgen
A script for crawling the Mathematics Genealogy Project
fniksic/pdl-tableaux
Tableau-based SAT solver for propositional dynamic logic
fniksic/iknet
Repozitorij za razmjenu koda na grupi za pripremu za natjecanja u IK NET