GitHub - astroseger/cl-lab: The set of tools for our researches with combinatory logic.

astroseger / cl-lab Public

Notifications You must be signed in to change notification settings
Fork 2
Star 0

The set of tools for our researches with combinatory logic.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
amga		amga
rmdlga		rmdlga
ssprime		ssprime
COPYING		COPYING
Makefile		Makefile
README		README
cl_base.cpp		cl_base.cpp
cl_base.h		cl_base.h
cl_bf_printgood.cpp		cl_bf_printgood.cpp
cl_brute.cpp		cl_brute.cpp
cl_brute.h		cl_brute.h
cl_bruteforce.cpp		cl_bruteforce.cpp
cl_ga.cpp		cl_ga.cpp
cl_ga_tools.cpp		cl_ga_tools.cpp
cl_ga_tools.h		cl_ga_tools.h
cl_interactive.cpp		cl_interactive.cpp
cl_multbruteforce.cpp		cl_multbruteforce.cpp
cl_print.cpp		cl_print.cpp
cl_randomtest.cpp		cl_randomtest.cpp
cl_resultator.cpp		cl_resultator.cpp
cl_resultator.h		cl_resultator.h
cl_termstorage.cpp		cl_termstorage.cpp
cl_termstorage.h		cl_termstorage.h
sp_parmap.cpp		sp_parmap.cpp
sp_parmap.h		sp_parmap.h

Repository files navigation

cl-lab v0.01

The set of tools for our researches with combinatory logic.

Authors:

Sergey Rodionov (astroseger@gmail.com)
Alexey Potapov  (potapov@aideus.com)
aideus.com

Description:

for each of the programs: ./program help=h  print small help.

cl_print - simple program to print result fo CL reduction 
           example: ./cl_print "S(K(SI))(S(KK)I)xy"

cl_bruteforce - program for search CL expression which generate a given result
                by brute force.                
		example: ./cl_bruteforce 010101010101010101010101 alphabet=SKI01 ignore=SKI

cl_ga - program for search CL expression which generate a give results
        by genetic algorithm.
	example: ./cl_ga 010101010101010101010101 alphabet=SKI01 ignore=SKI
	
rmdlga  --- implementations of R-Search
sspirme --- implementation  of SS'-Search
	
KNOWN BUGS:

We use recursive function for reduction. For some cl expressions we
can fast hit system stack size limit. You can ether decrease  number of
allowed reduction (" ./cl_print Yx max_steps=10000") ether increase
system stack size ("ulimit -s 100000000000" for linux)