Daniil Shunkevich's repositories
DuplicateFinder
Tool to find and remove duplicated files using python. Based on AllDup search results
OSTIS_Solver
Intellectual problem solver, part of the OSTIS project
sc-kpm-extended
Additional sc-agents for OSTIS sc-machine implementation
sc-machine
Software implementation of sc-machine
Find_min_path
SCp program find min path in an undirected graph
gis.ostis.kb
Knowledge base of geoinformation system based on the OSTIS technology
ims.ostis.kb.temp
Temporary unsorted concepts for ims.ostis.kb project
scp-machine
Second version of SCP interpreter implementation
scp_examples
Examples of SCP programs in SCs form
scp_verifier
sc_machine extension for scp-programs verification