├── .gitignore ├── .lgtm.yml ├── .whitesource ├── LICENSE ├── README ├── doc ├── appendix_operators.tex ├── ar.tex ├── builtin.tex ├── cinterface.tex ├── constraints.tex ├── data_types.tex ├── datetime.tex ├── exception.tex ├── format.tex ├── get_started.pdf ├── get_started.tex ├── intro_sys.tex ├── io.tex ├── lex_grammar.tex ├── loops.tex ├── math.tex ├── module.tex ├── neuralnets.tex ├── nn.tex ├── operators.tex ├── ordset.tex ├── os.tex ├── overview.tex ├── picat_guide.pdf ├── picat_guide.tex ├── picat_proposal.tex ├── planner.tex ├── predfunc.tex ├── preface.tex ├── syntax_grammar.tex ├── sys.tex ├── tabling.tex ├── temp.tex └── util.tex ├── emu ├── Makefile.cygwin64 ├── Makefile.cygwin64.lgl ├── Makefile.linux64 ├── Makefile.linux64.lgl ├── Makefile.mac64 ├── Makefile.mac64.lgl ├── Makefile.mingw64 ├── Makefile.picat.cygwin32 ├── Makefile.picat.cygwin64 ├── Makefile.picat.linux32 ├── Makefile.picat.linux64 ├── Makefile.picat.mac ├── Makefile.picat.mac64 ├── arith.c ├── assert.c ├── bapi.h ├── basic.h ├── basicd.h ├── bigint.c ├── bprolog.h ├── bprolog_cg_cgevent.h ├── bprolog_plc_plc.h ├── builtins.c ├── cfd.c ├── clause.c ├── clpfd.c ├── clpfd.h ├── clpfd_libs.c ├── cp_src ├── cpreds.c ├── debug.c ├── delay.c ├── dis.c ├── dis_inst.h ├── domain.c ├── dynamic.h ├── emu_inst.h ├── espresso │ ├── COPYING │ ├── Makefile │ ├── Makefile.mac64 │ ├── black_white.c │ ├── canonical.c │ ├── cofactor.c │ ├── cols.c │ ├── compl.c │ ├── contain.c │ ├── copyright.h │ ├── cpu_time.c │ ├── cubestr.c │ ├── cvrin.c │ ├── cvrm.c │ ├── cvrmisc.c │ ├── cvrout.c │ ├── dominate.c │ ├── equiv.c │ ├── espresso.c │ ├── espresso.h │ ├── espresso_expand.c │ ├── espresso_main.c │ ├── essen.c │ ├── essentiality.c │ ├── exact.c │ ├── gasp.c │ ├── gimpel.c │ ├── globals.c │ ├── hack.c │ ├── indep.c │ ├── irred.c │ ├── main.h │ ├── map.c │ ├── matrix.c │ ├── mincov.c │ ├── mincov.h │ ├── mincov_int.h │ ├── opo.c │ ├── pair.c │ ├── part.c │ ├── port.h │ ├── primes.c │ ├── prtime.c │ ├── reduce.c │ ├── rows.c │ ├── set.c │ ├── setc.c │ ├── sharp.c │ ├── sigma.c │ ├── signature.c │ ├── signature.h │ ├── signature_exact.c │ ├── sminterf.c │ ├── solution.c │ ├── sparse.c │ ├── sparse.h │ ├── sparse_int.h │ ├── unate.c │ ├── util_signature.c │ ├── utility.h │ └── verify.c ├── espresso_bp.c ├── event.c ├── event.h ├── expand.c ├── extern_decl.h ├── fann │ ├── fann_interface.cpp │ ├── fann_interface.h │ └── src │ │ ├── CMakeLists.txt │ │ ├── README.txt │ │ ├── doublefann.c │ │ ├── fann.c │ │ ├── fann_cascade.c │ │ ├── fann_error.c │ │ ├── fann_io.c │ │ ├── fann_train.c │ │ ├── fann_train_data.c │ │ ├── fixedfann.c │ │ ├── floatfann.c │ │ ├── include │ │ ├── CMakeLists.txt │ │ ├── compat_time.h │ │ ├── config.h │ │ ├── doublefann.h │ │ ├── fann.h │ │ ├── fann_activation.h │ │ ├── fann_cascade.h │ │ ├── fann_cpp.h │ │ ├── fann_data.h │ │ ├── fann_data_cpp.h │ │ ├── fann_error.h │ │ ├── fann_internal.h │ │ ├── fann_io.h │ │ ├── fann_train.h │ │ ├── fann_training_data_cpp.h │ │ ├── fixedfann.h │ │ ├── floatfann.h │ │ ├── parallel_fann.h │ │ └── parallel_fann.hpp │ │ ├── parallel_doublefann_cpp.cpp │ │ ├── parallel_fann.c │ │ ├── parallel_fann_cpp.cpp │ │ └── parallel_floatfann_cpp.cpp ├── file.c ├── findall.c ├── float1.c ├── frame.h ├── fzn_picat_smt_bc.h ├── gc.h ├── gcheap.c ├── gcqueue.c ├── gcstack.c ├── getline.c ├── getline.h ├── global.c ├── glpk_bp.c ├── init.c ├── init_sym.c ├── inst.h ├── inst_inf.c ├── jmp_table.c ├── kapi.c ├── kapi.h ├── kissat │ ├── CONTRIBUTING │ ├── LICENSE │ ├── README.md │ ├── VERSION │ └── src │ │ ├── allocate.c │ │ ├── allocate.h │ │ ├── analyze.c │ │ ├── analyze.h │ │ ├── ands.c │ │ ├── ands.h │ │ ├── application.c │ │ ├── application.h │ │ ├── arena.c │ │ ├── arena.h │ │ ├── assign.c │ │ ├── assign.h │ │ ├── autarky.c │ │ ├── autarky.h │ │ ├── averages.c │ │ ├── averages.h │ │ ├── backtrack.c │ │ ├── backtrack.h │ │ ├── backward.c │ │ ├── backward.h │ │ ├── build.c │ │ ├── build.h │ │ ├── bump.c │ │ ├── bump.h │ │ ├── check.c │ │ ├── check.h │ │ ├── clause.c │ │ ├── clause.h │ │ ├── clueue.c │ │ ├── clueue.h │ │ ├── collect.c │ │ ├── collect.h │ │ ├── colors.c │ │ ├── colors.h │ │ ├── compact.c │ │ ├── compact.h │ │ ├── config.c │ │ ├── config.h │ │ ├── cover.h │ │ ├── decide.c │ │ ├── decide.h │ │ ├── deduce.c │ │ ├── deduce.h │ │ ├── dense.c │ │ ├── dense.h │ │ ├── dominate.c │ │ ├── dominate.h │ │ ├── dump.c │ │ ├── eliminate.c │ │ ├── eliminate.h │ │ ├── endianess.h │ │ ├── equivalences.c │ │ ├── equivalences.h │ │ ├── error.c │ │ ├── error.h │ │ ├── extend.c │ │ ├── extend.h │ │ ├── failed.c │ │ ├── failed.h │ │ ├── file.c │ │ ├── file.h │ │ ├── flags.c │ │ ├── flags.h │ │ ├── format.c │ │ ├── format.h │ │ ├── forward.c │ │ ├── forward.h │ │ ├── frames.c │ │ ├── frames.h │ │ ├── gates.c │ │ ├── gates.h │ │ ├── handle.c │ │ ├── handle.h │ │ ├── heap.c │ │ ├── heap.h │ │ ├── ifthenelse.c │ │ ├── ifthenelse.h │ │ ├── import.c │ │ ├── import.h │ │ ├── inline.h │ │ ├── internal.c │ │ ├── internal.h │ │ ├── kis_allocate.o │ │ ├── kissat.h │ │ ├── kissat_bool.h │ │ ├── learn.c │ │ ├── learn.h │ │ ├── limits.c │ │ ├── limits.h │ │ ├── literal.h │ │ ├── logging.c │ │ ├── logging.h │ │ ├── main.c │ │ ├── minimize.c │ │ ├── minimize.h │ │ ├── mode.c │ │ ├── mode.h │ │ ├── options.c │ │ ├── options.h │ │ ├── parse.c │ │ ├── parse.h │ │ ├── phases.c │ │ ├── phases.h │ │ ├── print.c │ │ ├── print.h │ │ ├── probe.c │ │ ├── probe.h │ │ ├── profile.c │ │ ├── profile.h │ │ ├── promote.c │ │ ├── promote.h │ │ ├── proof.c │ │ ├── proof.h │ │ ├── propdense.c │ │ ├── propdense.h │ │ ├── prophyper.c │ │ ├── prophyper.h │ │ ├── proplit.h │ │ ├── proprobe.c │ │ ├── proprobe.h │ │ ├── propsearch.c │ │ ├── propsearch.h │ │ ├── queue.c │ │ ├── queue.h │ │ ├── random.h │ │ ├── rank.h │ │ ├── reduce.c │ │ ├── reduce.h │ │ ├── reference.h │ │ ├── reluctant.c │ │ ├── reluctant.h │ │ ├── rephase.c │ │ ├── rephase.h │ │ ├── report.c │ │ ├── report.h │ │ ├── require.h │ │ ├── resize.c │ │ ├── resize.h │ │ ├── resolve.c │ │ ├── resolve.h │ │ ├── resources.c │ │ ├── resources.h │ │ ├── restart.c │ │ ├── restart.h │ │ ├── search.c │ │ ├── search.h │ │ ├── smooth.c │ │ ├── smooth.h │ │ ├── sort.c │ │ ├── sort.h │ │ ├── stack.c │ │ ├── stack.h │ │ ├── statistics.c │ │ ├── statistics.h │ │ ├── strengthen.c │ │ ├── strengthen.h │ │ ├── substitute.c │ │ ├── substitute.h │ │ ├── terminate.c │ │ ├── terminate.h │ │ ├── ternary.c │ │ ├── ternary.h │ │ ├── trail.c │ │ ├── trail.h │ │ ├── transitive.c │ │ ├── transitive.h │ │ ├── utilities.c │ │ ├── utilities.h │ │ ├── value.h │ │ ├── vector.c │ │ ├── vector.h │ │ ├── vivify.c │ │ ├── vivify.h │ │ ├── walk.c │ │ ├── walk.h │ │ ├── watch.c │ │ ├── watch.h │ │ ├── weaken.c │ │ ├── weaken.h │ │ ├── witness.c │ │ ├── witness.h │ │ ├── xors.c │ │ └── xors.h ├── kissat_picat.c ├── lingeling │ ├── README │ ├── lglbnr.c │ ├── lglcfg.h │ ├── lglcflags.h │ ├── lglib.c │ ├── lglib.h │ ├── plglib.c │ └── plingeling.c ├── load_inst.c ├── load_inst.h ├── load_inst_frombplist.h ├── load_inst_fromcarray.h ├── loader.c ├── main.c ├── maple │ ├── LICENSE │ ├── bin │ │ └── starexec_run_default │ ├── core │ │ ├── Dimacs.h │ │ ├── Main.cc │ │ ├── Makefile │ │ ├── Solver.cc │ │ ├── Solver.cc~ │ │ ├── Solver.h │ │ ├── Solver.h~ │ │ └── SolverTypes.h │ ├── mtl │ │ ├── Alg.h │ │ ├── Alloc.h │ │ ├── Heap.h │ │ ├── IntTypes.h │ │ ├── Map.h │ │ ├── Queue.h │ │ ├── Sort.h │ │ ├── Vec.h │ │ ├── XAlloc.h │ │ ├── config.mk │ │ └── template.mk │ ├── simp │ │ ├── Main.cc │ │ ├── Makefile │ │ ├── SimpSolver.cc │ │ ├── SimpSolver.cc~ │ │ ├── SimpSolver.h │ │ └── depend.mk │ ├── starexec_build │ └── utils │ │ ├── Makefile │ │ ├── Options.cc │ │ ├── Options.h │ │ ├── Options.h~ │ │ ├── ParseUtils.h │ │ ├── System.cc │ │ └── System.h ├── maple_interface.cpp ├── maple_interface.h ├── mic.c ├── numbervars.c ├── picat.h ├── picat_bc.h ├── picat_utilities.c ├── picat_utilities.h ├── plc_java.c ├── qc.c ├── reasonls_interface.cpp ├── reasonls_interface.h ├── sapi.c ├── sapi.h ├── sat_bp.c ├── table.c ├── temp.c ├── term.h ├── toam.c ├── toam.h ├── toamprofile.c ├── token.c ├── unify.c └── univ.c ├── exs ├── cp │ ├── kakuro.pi │ ├── knightTour.pi │ ├── pigeon_hole.pi │ ├── ppm.pi │ ├── queens.pi │ ├── sequence.pi │ ├── sudoku.pi │ └── zebra.pi ├── euler │ ├── base_exp.txt │ ├── names.txt │ ├── p1.pi │ ├── p10.pi │ ├── p100.pi │ ├── p106.pi │ ├── p108.pi │ ├── p10_rb.pi │ ├── p11.pi │ ├── p12.pi │ ├── p13.pi │ ├── p14.pi │ ├── p15.pi │ ├── p16.pi │ ├── p17.pi │ ├── p18.pi │ ├── p19.pi │ ├── p1_rb.pi │ ├── p2.pi │ ├── p20.pi │ ├── p206.pi │ ├── p21.pi │ ├── p22.pi │ ├── p23.pi │ ├── p24.pi │ ├── p25.pi │ ├── p26.pi │ ├── p27.pi │ ├── p28.pi │ ├── p29.pi │ ├── p2_rb.pi │ ├── p3.pi │ ├── p30.pi │ ├── p31.pi │ ├── p32.pi │ ├── p33.pi │ ├── p34.pi │ ├── p35.pi │ ├── p36.pi │ ├── p37.pi │ ├── p38.pi │ ├── p39.pi │ ├── p4.pi │ ├── p40.pi │ ├── p41.pi │ ├── p42.pi │ ├── p43.pi │ ├── p44.pi │ ├── p45.pi │ ├── p46.pi │ ├── p47.pi │ ├── p48.pi │ ├── p49.pi │ ├── p5.pi │ ├── p50.pi │ ├── p52.pi │ ├── p6.pi │ ├── p67.pi │ ├── p67_old.pi │ ├── p7.pi │ ├── p7_old.pi │ ├── p8.pi │ ├── p9.pi │ ├── p99.pi │ ├── p9_rb.pi │ ├── pi_rb.pi │ ├── test.txt │ ├── triangle.txt │ └── words.txt ├── exs.pi ├── mip │ ├── bqueens.pi │ ├── coin.pi │ ├── diet.pi │ ├── maxflow_mip.pi │ ├── tmip_ex1.pi │ ├── tmip_ex2.pi │ ├── tmip_ex3.pi │ ├── tmip_ex4.pi │ ├── tmip_ex5.pi │ ├── tmip_ex6.pi │ └── tmip_ex7.pi ├── mip_exs.tar.gz ├── nn │ ├── author_classify │ │ ├── README.md │ │ ├── author_classify_test.pi │ │ ├── author_classify_train.pi │ │ ├── chesterton1.txt │ │ ├── chesterton2.txt │ │ ├── chesterton3.txt │ │ ├── melville1.txt │ │ ├── melville2.txt │ │ ├── melville3.txt │ │ ├── preprocess.pi │ │ ├── processed_chesterton1.txt │ │ ├── processed_chesterton2.txt │ │ ├── processed_chesterton3.txt │ │ ├── processed_melville1.txt │ │ ├── processed_melville2.txt │ │ ├── processed_melville3.txt │ │ ├── transition_probabilities.data │ │ └── transition_probabilities.pi │ ├── lang_classify │ │ ├── README.md │ │ ├── english1.txt │ │ ├── english2.txt │ │ ├── english3.txt │ │ ├── french1.txt │ │ ├── french2.txt │ │ ├── french3.txt │ │ ├── frequencies.data │ │ ├── frequencies.pi │ │ ├── lang_classify.net │ │ ├── lang_classify_test.pi │ │ ├── lang_classify_train.pi │ │ ├── spanish1.txt │ │ ├── spanish2.txt │ │ └── spanish3.txt │ ├── mnist │ │ ├── README.md │ │ ├── digits_test.pi │ │ └── digits_train.pi │ ├── scaling │ │ ├── scaling.data │ │ ├── scaling.tar.gz │ │ ├── scaling_test.pi │ │ └── scaling_train.pi │ ├── spam_detector │ │ ├── README.md │ │ ├── TestX.csv │ │ ├── Train.csv │ │ ├── Train.txt │ │ ├── csv2fann.pi │ │ ├── spam.net │ │ ├── spambase.DOCUMENTATION │ │ ├── spambase.data │ │ ├── spambase.names │ │ ├── test.pi │ │ └── train.pi │ └── xor │ │ ├── fann_xor.pi │ │ ├── xor.data │ │ ├── xor.net │ │ ├── xor_test.pi │ │ ├── xor_train_data.pi │ │ └── xor_train_file.pi ├── planner │ ├── 15_puzzle.pi │ ├── 15_puzzle.pi~ │ ├── farmer.pi │ ├── klotski.pi │ ├── nomystery.pi │ ├── ricochet.pi │ ├── sokoban.pi │ ├── solitaire.pi │ ├── treasure.pi │ └── water.pi ├── sat │ ├── bqueens.pi │ ├── crossword.pi │ ├── magic_square.pi │ ├── marriage_roman_sat.pi │ ├── maxClique.pi │ ├── numberlink_b.pi │ ├── queens.pi │ ├── sudoku.pi │ ├── sudoku_sat.pi │ └── vmtl.pi ├── smt │ ├── bqueens.pi │ ├── maxClique.pi │ ├── queens.pi │ └── sudoku.pi ├── solve_all ├── test_exs.pi └── test_exs_cp.pi ├── lib ├── analyze_pb.pi ├── apl_util.pi ├── basic.pi ├── common_constr.pi ├── common_sat_cp.pi ├── comp_lib.pi ├── count_ans.pi ├── cp.pi ├── datetime.pi ├── extract_solved.pi ├── flatten_dir.pi ├── fzn2picat.pi ├── fzn2picat_dump.pi ├── fzn_parser.pi ├── fzn_picat_cp.pi ├── fzn_picat_sat.pi ├── fzn_tokenizer.pi ├── gen_comp_all.pi ├── gen_conv.pi ├── gen_conv_all.pi ├── gen_extract_pattern.pi ├── gen_indent_all.pi ├── gen_run_all.pi ├── gen_run_all0.pi ├── gen_solve_all.pi ├── gen_solve_all_fzn.pi ├── geom.pi ├── global_contiguity.pi ├── globals.pi ├── gps_utils.pi ├── graph.pi ├── haskell_prelude.pi ├── io.pi ├── json.pi ├── latex2html.pi ├── list_set.pi ├── math.pi ├── mip.pi ├── mip_aux.pi ├── nn.pi ├── ordset.pi ├── os.pi ├── pb.pi ├── pb2pi.pi ├── picat_lib_aux.pi ├── planner.pi ├── prism.pi ├── regular.pi ├── sat.pi ├── set_util.pi ├── smt.pi ├── smt_aux.pi ├── stat.pi ├── state_list.pi ├── sugar2pi.pi ├── sys.pi ├── tabular_runtimes.pi ├── traverse_dir.pi ├── trim_lines.pi ├── util.pi ├── utils.pi └── xcsp2pi.pi ├── picat-mode.el └── prep-tgz.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/.gitignore -------------------------------------------------------------------------------- /.lgtm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/.lgtm.yml -------------------------------------------------------------------------------- /.whitesource: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/.whitesource -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/LICENSE -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/README -------------------------------------------------------------------------------- /doc/appendix_operators.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/appendix_operators.tex -------------------------------------------------------------------------------- /doc/ar.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/ar.tex -------------------------------------------------------------------------------- /doc/builtin.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/builtin.tex -------------------------------------------------------------------------------- /doc/cinterface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/cinterface.tex -------------------------------------------------------------------------------- /doc/constraints.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/constraints.tex -------------------------------------------------------------------------------- /doc/data_types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/data_types.tex -------------------------------------------------------------------------------- /doc/datetime.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/datetime.tex -------------------------------------------------------------------------------- /doc/exception.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/exception.tex -------------------------------------------------------------------------------- /doc/format.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/format.tex -------------------------------------------------------------------------------- /doc/get_started.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/get_started.pdf -------------------------------------------------------------------------------- /doc/get_started.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/get_started.tex -------------------------------------------------------------------------------- /doc/intro_sys.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/intro_sys.tex -------------------------------------------------------------------------------- /doc/io.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/io.tex -------------------------------------------------------------------------------- /doc/lex_grammar.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/lex_grammar.tex -------------------------------------------------------------------------------- /doc/loops.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/loops.tex -------------------------------------------------------------------------------- /doc/math.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/math.tex -------------------------------------------------------------------------------- /doc/module.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/module.tex -------------------------------------------------------------------------------- /doc/neuralnets.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/neuralnets.tex -------------------------------------------------------------------------------- /doc/nn.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/nn.tex -------------------------------------------------------------------------------- /doc/operators.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/operators.tex -------------------------------------------------------------------------------- /doc/ordset.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/ordset.tex -------------------------------------------------------------------------------- /doc/os.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/os.tex -------------------------------------------------------------------------------- /doc/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/overview.tex -------------------------------------------------------------------------------- /doc/picat_guide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/picat_guide.pdf -------------------------------------------------------------------------------- /doc/picat_guide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/picat_guide.tex -------------------------------------------------------------------------------- /doc/picat_proposal.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/picat_proposal.tex -------------------------------------------------------------------------------- /doc/planner.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/planner.tex -------------------------------------------------------------------------------- /doc/predfunc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/predfunc.tex -------------------------------------------------------------------------------- /doc/preface.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/preface.tex -------------------------------------------------------------------------------- /doc/syntax_grammar.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/syntax_grammar.tex -------------------------------------------------------------------------------- /doc/sys.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/sys.tex -------------------------------------------------------------------------------- /doc/tabling.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/tabling.tex -------------------------------------------------------------------------------- /doc/temp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/temp.tex -------------------------------------------------------------------------------- /doc/util.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/doc/util.tex -------------------------------------------------------------------------------- /emu/Makefile.cygwin64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.cygwin64 -------------------------------------------------------------------------------- /emu/Makefile.cygwin64.lgl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.cygwin64.lgl -------------------------------------------------------------------------------- /emu/Makefile.linux64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.linux64 -------------------------------------------------------------------------------- /emu/Makefile.linux64.lgl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.linux64.lgl -------------------------------------------------------------------------------- /emu/Makefile.mac64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.mac64 -------------------------------------------------------------------------------- /emu/Makefile.mac64.lgl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.mac64.lgl -------------------------------------------------------------------------------- /emu/Makefile.mingw64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.mingw64 -------------------------------------------------------------------------------- /emu/Makefile.picat.cygwin32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.cygwin32 -------------------------------------------------------------------------------- /emu/Makefile.picat.cygwin64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.cygwin64 -------------------------------------------------------------------------------- /emu/Makefile.picat.linux32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.linux32 -------------------------------------------------------------------------------- /emu/Makefile.picat.linux64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.linux64 -------------------------------------------------------------------------------- /emu/Makefile.picat.mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.mac -------------------------------------------------------------------------------- /emu/Makefile.picat.mac64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/Makefile.picat.mac64 -------------------------------------------------------------------------------- /emu/arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/arith.c -------------------------------------------------------------------------------- /emu/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/assert.c -------------------------------------------------------------------------------- /emu/bapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/bapi.h -------------------------------------------------------------------------------- /emu/basic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/basic.h -------------------------------------------------------------------------------- /emu/basicd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/basicd.h -------------------------------------------------------------------------------- /emu/bigint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/bigint.c -------------------------------------------------------------------------------- /emu/bprolog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/bprolog.h -------------------------------------------------------------------------------- /emu/bprolog_cg_cgevent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/bprolog_cg_cgevent.h -------------------------------------------------------------------------------- /emu/bprolog_plc_plc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/bprolog_plc_plc.h -------------------------------------------------------------------------------- /emu/builtins.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/builtins.c -------------------------------------------------------------------------------- /emu/cfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/cfd.c -------------------------------------------------------------------------------- /emu/clause.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/clause.c -------------------------------------------------------------------------------- /emu/clpfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/clpfd.c -------------------------------------------------------------------------------- /emu/clpfd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/clpfd.h -------------------------------------------------------------------------------- /emu/clpfd_libs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/clpfd_libs.c -------------------------------------------------------------------------------- /emu/cp_src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/cp_src -------------------------------------------------------------------------------- /emu/cpreds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/cpreds.c -------------------------------------------------------------------------------- /emu/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/debug.c -------------------------------------------------------------------------------- /emu/delay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/delay.c -------------------------------------------------------------------------------- /emu/dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/dis.c -------------------------------------------------------------------------------- /emu/dis_inst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/dis_inst.h -------------------------------------------------------------------------------- /emu/domain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/domain.c -------------------------------------------------------------------------------- /emu/dynamic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/dynamic.h -------------------------------------------------------------------------------- /emu/emu_inst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/emu_inst.h -------------------------------------------------------------------------------- /emu/espresso/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/COPYING -------------------------------------------------------------------------------- /emu/espresso/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/Makefile -------------------------------------------------------------------------------- /emu/espresso/Makefile.mac64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/Makefile.mac64 -------------------------------------------------------------------------------- /emu/espresso/black_white.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/black_white.c -------------------------------------------------------------------------------- /emu/espresso/canonical.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/canonical.c -------------------------------------------------------------------------------- /emu/espresso/cofactor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cofactor.c -------------------------------------------------------------------------------- /emu/espresso/cols.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cols.c -------------------------------------------------------------------------------- /emu/espresso/compl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/compl.c -------------------------------------------------------------------------------- /emu/espresso/contain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/contain.c -------------------------------------------------------------------------------- /emu/espresso/copyright.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/copyright.h -------------------------------------------------------------------------------- /emu/espresso/cpu_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cpu_time.c -------------------------------------------------------------------------------- /emu/espresso/cubestr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cubestr.c -------------------------------------------------------------------------------- /emu/espresso/cvrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cvrin.c -------------------------------------------------------------------------------- /emu/espresso/cvrm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cvrm.c -------------------------------------------------------------------------------- /emu/espresso/cvrmisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cvrmisc.c -------------------------------------------------------------------------------- /emu/espresso/cvrout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/cvrout.c -------------------------------------------------------------------------------- /emu/espresso/dominate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/dominate.c -------------------------------------------------------------------------------- /emu/espresso/equiv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/equiv.c -------------------------------------------------------------------------------- /emu/espresso/espresso.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/espresso.c -------------------------------------------------------------------------------- /emu/espresso/espresso.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/espresso.h -------------------------------------------------------------------------------- /emu/espresso/espresso_expand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/espresso_expand.c -------------------------------------------------------------------------------- /emu/espresso/espresso_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/espresso_main.c -------------------------------------------------------------------------------- /emu/espresso/essen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/essen.c -------------------------------------------------------------------------------- /emu/espresso/essentiality.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/essentiality.c -------------------------------------------------------------------------------- /emu/espresso/exact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/exact.c -------------------------------------------------------------------------------- /emu/espresso/gasp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/gasp.c -------------------------------------------------------------------------------- /emu/espresso/gimpel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/gimpel.c -------------------------------------------------------------------------------- /emu/espresso/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/globals.c -------------------------------------------------------------------------------- /emu/espresso/hack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/hack.c -------------------------------------------------------------------------------- /emu/espresso/indep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/indep.c -------------------------------------------------------------------------------- /emu/espresso/irred.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/irred.c -------------------------------------------------------------------------------- /emu/espresso/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/main.h -------------------------------------------------------------------------------- /emu/espresso/map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/map.c -------------------------------------------------------------------------------- /emu/espresso/matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/matrix.c -------------------------------------------------------------------------------- /emu/espresso/mincov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/mincov.c -------------------------------------------------------------------------------- /emu/espresso/mincov.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/mincov.h -------------------------------------------------------------------------------- /emu/espresso/mincov_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/mincov_int.h -------------------------------------------------------------------------------- /emu/espresso/opo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/opo.c -------------------------------------------------------------------------------- /emu/espresso/pair.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/pair.c -------------------------------------------------------------------------------- /emu/espresso/part.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/part.c -------------------------------------------------------------------------------- /emu/espresso/port.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/port.h -------------------------------------------------------------------------------- /emu/espresso/primes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/primes.c -------------------------------------------------------------------------------- /emu/espresso/prtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/prtime.c -------------------------------------------------------------------------------- /emu/espresso/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/reduce.c -------------------------------------------------------------------------------- /emu/espresso/rows.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/rows.c -------------------------------------------------------------------------------- /emu/espresso/set.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/set.c -------------------------------------------------------------------------------- /emu/espresso/setc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/setc.c -------------------------------------------------------------------------------- /emu/espresso/sharp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sharp.c -------------------------------------------------------------------------------- /emu/espresso/sigma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sigma.c -------------------------------------------------------------------------------- /emu/espresso/signature.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/signature.c -------------------------------------------------------------------------------- /emu/espresso/signature.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/signature.h -------------------------------------------------------------------------------- /emu/espresso/signature_exact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/signature_exact.c -------------------------------------------------------------------------------- /emu/espresso/sminterf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sminterf.c -------------------------------------------------------------------------------- /emu/espresso/solution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/solution.c -------------------------------------------------------------------------------- /emu/espresso/sparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sparse.c -------------------------------------------------------------------------------- /emu/espresso/sparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sparse.h -------------------------------------------------------------------------------- /emu/espresso/sparse_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/sparse_int.h -------------------------------------------------------------------------------- /emu/espresso/unate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/unate.c -------------------------------------------------------------------------------- /emu/espresso/util_signature.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/util_signature.c -------------------------------------------------------------------------------- /emu/espresso/utility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/utility.h -------------------------------------------------------------------------------- /emu/espresso/verify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso/verify.c -------------------------------------------------------------------------------- /emu/espresso_bp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/espresso_bp.c -------------------------------------------------------------------------------- /emu/event.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/event.c -------------------------------------------------------------------------------- /emu/event.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/event.h -------------------------------------------------------------------------------- /emu/expand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/expand.c -------------------------------------------------------------------------------- /emu/extern_decl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/extern_decl.h -------------------------------------------------------------------------------- /emu/fann/fann_interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/fann_interface.cpp -------------------------------------------------------------------------------- /emu/fann/fann_interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/fann_interface.h -------------------------------------------------------------------------------- /emu/fann/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/CMakeLists.txt -------------------------------------------------------------------------------- /emu/fann/src/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/README.txt -------------------------------------------------------------------------------- /emu/fann/src/doublefann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/doublefann.c -------------------------------------------------------------------------------- /emu/fann/src/fann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann.c -------------------------------------------------------------------------------- /emu/fann/src/fann_cascade.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann_cascade.c -------------------------------------------------------------------------------- /emu/fann/src/fann_error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann_error.c -------------------------------------------------------------------------------- /emu/fann/src/fann_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann_io.c -------------------------------------------------------------------------------- /emu/fann/src/fann_train.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann_train.c -------------------------------------------------------------------------------- /emu/fann/src/fann_train_data.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fann_train_data.c -------------------------------------------------------------------------------- /emu/fann/src/fixedfann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/fixedfann.c -------------------------------------------------------------------------------- /emu/fann/src/floatfann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/floatfann.c -------------------------------------------------------------------------------- /emu/fann/src/include/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/CMakeLists.txt -------------------------------------------------------------------------------- /emu/fann/src/include/compat_time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/compat_time.h -------------------------------------------------------------------------------- /emu/fann/src/include/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/config.h -------------------------------------------------------------------------------- /emu/fann/src/include/doublefann.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/doublefann.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_activation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_activation.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_cascade.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_cascade.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_cpp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_cpp.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_data.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_data_cpp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_data_cpp.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_error.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_internal.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_io.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_train.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_train.h -------------------------------------------------------------------------------- /emu/fann/src/include/fann_training_data_cpp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fann_training_data_cpp.h -------------------------------------------------------------------------------- /emu/fann/src/include/fixedfann.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/fixedfann.h -------------------------------------------------------------------------------- /emu/fann/src/include/floatfann.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/floatfann.h -------------------------------------------------------------------------------- /emu/fann/src/include/parallel_fann.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/parallel_fann.h -------------------------------------------------------------------------------- /emu/fann/src/include/parallel_fann.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/include/parallel_fann.hpp -------------------------------------------------------------------------------- /emu/fann/src/parallel_doublefann_cpp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/parallel_doublefann_cpp.cpp -------------------------------------------------------------------------------- /emu/fann/src/parallel_fann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/parallel_fann.c -------------------------------------------------------------------------------- /emu/fann/src/parallel_fann_cpp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/parallel_fann_cpp.cpp -------------------------------------------------------------------------------- /emu/fann/src/parallel_floatfann_cpp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fann/src/parallel_floatfann_cpp.cpp -------------------------------------------------------------------------------- /emu/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/file.c -------------------------------------------------------------------------------- /emu/findall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/findall.c -------------------------------------------------------------------------------- /emu/float1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/float1.c -------------------------------------------------------------------------------- /emu/frame.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/frame.h -------------------------------------------------------------------------------- /emu/fzn_picat_smt_bc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/fzn_picat_smt_bc.h -------------------------------------------------------------------------------- /emu/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/gc.h -------------------------------------------------------------------------------- /emu/gcheap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/gcheap.c -------------------------------------------------------------------------------- /emu/gcqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/gcqueue.c -------------------------------------------------------------------------------- /emu/gcstack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/gcstack.c -------------------------------------------------------------------------------- /emu/getline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/getline.c -------------------------------------------------------------------------------- /emu/getline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/getline.h -------------------------------------------------------------------------------- /emu/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/global.c -------------------------------------------------------------------------------- /emu/glpk_bp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/glpk_bp.c -------------------------------------------------------------------------------- /emu/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/init.c -------------------------------------------------------------------------------- /emu/init_sym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/init_sym.c -------------------------------------------------------------------------------- /emu/inst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/inst.h -------------------------------------------------------------------------------- /emu/inst_inf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/inst_inf.c -------------------------------------------------------------------------------- /emu/jmp_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/jmp_table.c -------------------------------------------------------------------------------- /emu/kapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kapi.c -------------------------------------------------------------------------------- /emu/kapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kapi.h -------------------------------------------------------------------------------- /emu/kissat/CONTRIBUTING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/CONTRIBUTING -------------------------------------------------------------------------------- /emu/kissat/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/LICENSE -------------------------------------------------------------------------------- /emu/kissat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/README.md -------------------------------------------------------------------------------- /emu/kissat/VERSION: -------------------------------------------------------------------------------- 1 | 1.0.3 2 | -------------------------------------------------------------------------------- /emu/kissat/src/allocate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/allocate.c -------------------------------------------------------------------------------- /emu/kissat/src/allocate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/allocate.h -------------------------------------------------------------------------------- /emu/kissat/src/analyze.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/analyze.c -------------------------------------------------------------------------------- /emu/kissat/src/analyze.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/analyze.h -------------------------------------------------------------------------------- /emu/kissat/src/ands.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ands.c -------------------------------------------------------------------------------- /emu/kissat/src/ands.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ands.h -------------------------------------------------------------------------------- /emu/kissat/src/application.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/application.c -------------------------------------------------------------------------------- /emu/kissat/src/application.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/application.h -------------------------------------------------------------------------------- /emu/kissat/src/arena.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/arena.c -------------------------------------------------------------------------------- /emu/kissat/src/arena.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/arena.h -------------------------------------------------------------------------------- /emu/kissat/src/assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/assign.c -------------------------------------------------------------------------------- /emu/kissat/src/assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/assign.h -------------------------------------------------------------------------------- /emu/kissat/src/autarky.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/autarky.c -------------------------------------------------------------------------------- /emu/kissat/src/autarky.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/autarky.h -------------------------------------------------------------------------------- /emu/kissat/src/averages.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/averages.c -------------------------------------------------------------------------------- /emu/kissat/src/averages.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/averages.h -------------------------------------------------------------------------------- /emu/kissat/src/backtrack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/backtrack.c -------------------------------------------------------------------------------- /emu/kissat/src/backtrack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/backtrack.h -------------------------------------------------------------------------------- /emu/kissat/src/backward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/backward.c -------------------------------------------------------------------------------- /emu/kissat/src/backward.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/backward.h -------------------------------------------------------------------------------- /emu/kissat/src/build.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/build.c -------------------------------------------------------------------------------- /emu/kissat/src/build.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/build.h -------------------------------------------------------------------------------- /emu/kissat/src/bump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/bump.c -------------------------------------------------------------------------------- /emu/kissat/src/bump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/bump.h -------------------------------------------------------------------------------- /emu/kissat/src/check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/check.c -------------------------------------------------------------------------------- /emu/kissat/src/check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/check.h -------------------------------------------------------------------------------- /emu/kissat/src/clause.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/clause.c -------------------------------------------------------------------------------- /emu/kissat/src/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/clause.h -------------------------------------------------------------------------------- /emu/kissat/src/clueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/clueue.c -------------------------------------------------------------------------------- /emu/kissat/src/clueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/clueue.h -------------------------------------------------------------------------------- /emu/kissat/src/collect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/collect.c -------------------------------------------------------------------------------- /emu/kissat/src/collect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/collect.h -------------------------------------------------------------------------------- /emu/kissat/src/colors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/colors.c -------------------------------------------------------------------------------- /emu/kissat/src/colors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/colors.h -------------------------------------------------------------------------------- /emu/kissat/src/compact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/compact.c -------------------------------------------------------------------------------- /emu/kissat/src/compact.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/compact.h -------------------------------------------------------------------------------- /emu/kissat/src/config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/config.c -------------------------------------------------------------------------------- /emu/kissat/src/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/config.h -------------------------------------------------------------------------------- /emu/kissat/src/cover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/cover.h -------------------------------------------------------------------------------- /emu/kissat/src/decide.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/decide.c -------------------------------------------------------------------------------- /emu/kissat/src/decide.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/decide.h -------------------------------------------------------------------------------- /emu/kissat/src/deduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/deduce.c -------------------------------------------------------------------------------- /emu/kissat/src/deduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/deduce.h -------------------------------------------------------------------------------- /emu/kissat/src/dense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/dense.c -------------------------------------------------------------------------------- /emu/kissat/src/dense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/dense.h -------------------------------------------------------------------------------- /emu/kissat/src/dominate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/dominate.c -------------------------------------------------------------------------------- /emu/kissat/src/dominate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/dominate.h -------------------------------------------------------------------------------- /emu/kissat/src/dump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/dump.c -------------------------------------------------------------------------------- /emu/kissat/src/eliminate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/eliminate.c -------------------------------------------------------------------------------- /emu/kissat/src/eliminate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/eliminate.h -------------------------------------------------------------------------------- /emu/kissat/src/endianess.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/endianess.h -------------------------------------------------------------------------------- /emu/kissat/src/equivalences.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/equivalences.c -------------------------------------------------------------------------------- /emu/kissat/src/equivalences.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/equivalences.h -------------------------------------------------------------------------------- /emu/kissat/src/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/error.c -------------------------------------------------------------------------------- /emu/kissat/src/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/error.h -------------------------------------------------------------------------------- /emu/kissat/src/extend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/extend.c -------------------------------------------------------------------------------- /emu/kissat/src/extend.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/extend.h -------------------------------------------------------------------------------- /emu/kissat/src/failed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/failed.c -------------------------------------------------------------------------------- /emu/kissat/src/failed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/failed.h -------------------------------------------------------------------------------- /emu/kissat/src/file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/file.c -------------------------------------------------------------------------------- /emu/kissat/src/file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/file.h -------------------------------------------------------------------------------- /emu/kissat/src/flags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/flags.c -------------------------------------------------------------------------------- /emu/kissat/src/flags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/flags.h -------------------------------------------------------------------------------- /emu/kissat/src/format.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/format.c -------------------------------------------------------------------------------- /emu/kissat/src/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/format.h -------------------------------------------------------------------------------- /emu/kissat/src/forward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/forward.c -------------------------------------------------------------------------------- /emu/kissat/src/forward.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/forward.h -------------------------------------------------------------------------------- /emu/kissat/src/frames.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/frames.c -------------------------------------------------------------------------------- /emu/kissat/src/frames.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/frames.h -------------------------------------------------------------------------------- /emu/kissat/src/gates.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/gates.c -------------------------------------------------------------------------------- /emu/kissat/src/gates.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/gates.h -------------------------------------------------------------------------------- /emu/kissat/src/handle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/handle.c -------------------------------------------------------------------------------- /emu/kissat/src/handle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/handle.h -------------------------------------------------------------------------------- /emu/kissat/src/heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/heap.c -------------------------------------------------------------------------------- /emu/kissat/src/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/heap.h -------------------------------------------------------------------------------- /emu/kissat/src/ifthenelse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ifthenelse.c -------------------------------------------------------------------------------- /emu/kissat/src/ifthenelse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ifthenelse.h -------------------------------------------------------------------------------- /emu/kissat/src/import.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/import.c -------------------------------------------------------------------------------- /emu/kissat/src/import.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/import.h -------------------------------------------------------------------------------- /emu/kissat/src/inline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/inline.h -------------------------------------------------------------------------------- /emu/kissat/src/internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/internal.c -------------------------------------------------------------------------------- /emu/kissat/src/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/internal.h -------------------------------------------------------------------------------- /emu/kissat/src/kis_allocate.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/kis_allocate.o -------------------------------------------------------------------------------- /emu/kissat/src/kissat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/kissat.h -------------------------------------------------------------------------------- /emu/kissat/src/kissat_bool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/kissat_bool.h -------------------------------------------------------------------------------- /emu/kissat/src/learn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/learn.c -------------------------------------------------------------------------------- /emu/kissat/src/learn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/learn.h -------------------------------------------------------------------------------- /emu/kissat/src/limits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/limits.c -------------------------------------------------------------------------------- /emu/kissat/src/limits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/limits.h -------------------------------------------------------------------------------- /emu/kissat/src/literal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/literal.h -------------------------------------------------------------------------------- /emu/kissat/src/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/logging.c -------------------------------------------------------------------------------- /emu/kissat/src/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/logging.h -------------------------------------------------------------------------------- /emu/kissat/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/main.c -------------------------------------------------------------------------------- /emu/kissat/src/minimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/minimize.c -------------------------------------------------------------------------------- /emu/kissat/src/minimize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/minimize.h -------------------------------------------------------------------------------- /emu/kissat/src/mode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/mode.c -------------------------------------------------------------------------------- /emu/kissat/src/mode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/mode.h -------------------------------------------------------------------------------- /emu/kissat/src/options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/options.c -------------------------------------------------------------------------------- /emu/kissat/src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/options.h -------------------------------------------------------------------------------- /emu/kissat/src/parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/parse.c -------------------------------------------------------------------------------- /emu/kissat/src/parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/parse.h -------------------------------------------------------------------------------- /emu/kissat/src/phases.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/phases.c -------------------------------------------------------------------------------- /emu/kissat/src/phases.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/phases.h -------------------------------------------------------------------------------- /emu/kissat/src/print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/print.c -------------------------------------------------------------------------------- /emu/kissat/src/print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/print.h -------------------------------------------------------------------------------- /emu/kissat/src/probe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/probe.c -------------------------------------------------------------------------------- /emu/kissat/src/probe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/probe.h -------------------------------------------------------------------------------- /emu/kissat/src/profile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/profile.c -------------------------------------------------------------------------------- /emu/kissat/src/profile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/profile.h -------------------------------------------------------------------------------- /emu/kissat/src/promote.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/promote.c -------------------------------------------------------------------------------- /emu/kissat/src/promote.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/promote.h -------------------------------------------------------------------------------- /emu/kissat/src/proof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/proof.c -------------------------------------------------------------------------------- /emu/kissat/src/proof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/proof.h -------------------------------------------------------------------------------- /emu/kissat/src/propdense.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/propdense.c -------------------------------------------------------------------------------- /emu/kissat/src/propdense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/propdense.h -------------------------------------------------------------------------------- /emu/kissat/src/prophyper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/prophyper.c -------------------------------------------------------------------------------- /emu/kissat/src/prophyper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/prophyper.h -------------------------------------------------------------------------------- /emu/kissat/src/proplit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/proplit.h -------------------------------------------------------------------------------- /emu/kissat/src/proprobe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/proprobe.c -------------------------------------------------------------------------------- /emu/kissat/src/proprobe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/proprobe.h -------------------------------------------------------------------------------- /emu/kissat/src/propsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/propsearch.c -------------------------------------------------------------------------------- /emu/kissat/src/propsearch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/propsearch.h -------------------------------------------------------------------------------- /emu/kissat/src/queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/queue.c -------------------------------------------------------------------------------- /emu/kissat/src/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/queue.h -------------------------------------------------------------------------------- /emu/kissat/src/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/random.h -------------------------------------------------------------------------------- /emu/kissat/src/rank.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/rank.h -------------------------------------------------------------------------------- /emu/kissat/src/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/reduce.c -------------------------------------------------------------------------------- /emu/kissat/src/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/reduce.h -------------------------------------------------------------------------------- /emu/kissat/src/reference.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/reference.h -------------------------------------------------------------------------------- /emu/kissat/src/reluctant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/reluctant.c -------------------------------------------------------------------------------- /emu/kissat/src/reluctant.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/reluctant.h -------------------------------------------------------------------------------- /emu/kissat/src/rephase.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/rephase.c -------------------------------------------------------------------------------- /emu/kissat/src/rephase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/rephase.h -------------------------------------------------------------------------------- /emu/kissat/src/report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/report.c -------------------------------------------------------------------------------- /emu/kissat/src/report.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/report.h -------------------------------------------------------------------------------- /emu/kissat/src/require.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/require.h -------------------------------------------------------------------------------- /emu/kissat/src/resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resize.c -------------------------------------------------------------------------------- /emu/kissat/src/resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resize.h -------------------------------------------------------------------------------- /emu/kissat/src/resolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resolve.c -------------------------------------------------------------------------------- /emu/kissat/src/resolve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resolve.h -------------------------------------------------------------------------------- /emu/kissat/src/resources.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resources.c -------------------------------------------------------------------------------- /emu/kissat/src/resources.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/resources.h -------------------------------------------------------------------------------- /emu/kissat/src/restart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/restart.c -------------------------------------------------------------------------------- /emu/kissat/src/restart.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/restart.h -------------------------------------------------------------------------------- /emu/kissat/src/search.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/search.c -------------------------------------------------------------------------------- /emu/kissat/src/search.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/search.h -------------------------------------------------------------------------------- /emu/kissat/src/smooth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/smooth.c -------------------------------------------------------------------------------- /emu/kissat/src/smooth.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/smooth.h -------------------------------------------------------------------------------- /emu/kissat/src/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/sort.c -------------------------------------------------------------------------------- /emu/kissat/src/sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/sort.h -------------------------------------------------------------------------------- /emu/kissat/src/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/stack.c -------------------------------------------------------------------------------- /emu/kissat/src/stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/stack.h -------------------------------------------------------------------------------- /emu/kissat/src/statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/statistics.c -------------------------------------------------------------------------------- /emu/kissat/src/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/statistics.h -------------------------------------------------------------------------------- /emu/kissat/src/strengthen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/strengthen.c -------------------------------------------------------------------------------- /emu/kissat/src/strengthen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/strengthen.h -------------------------------------------------------------------------------- /emu/kissat/src/substitute.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/substitute.c -------------------------------------------------------------------------------- /emu/kissat/src/substitute.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/substitute.h -------------------------------------------------------------------------------- /emu/kissat/src/terminate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/terminate.c -------------------------------------------------------------------------------- /emu/kissat/src/terminate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/terminate.h -------------------------------------------------------------------------------- /emu/kissat/src/ternary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ternary.c -------------------------------------------------------------------------------- /emu/kissat/src/ternary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/ternary.h -------------------------------------------------------------------------------- /emu/kissat/src/trail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/trail.c -------------------------------------------------------------------------------- /emu/kissat/src/trail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/trail.h -------------------------------------------------------------------------------- /emu/kissat/src/transitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/transitive.c -------------------------------------------------------------------------------- /emu/kissat/src/transitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/transitive.h -------------------------------------------------------------------------------- /emu/kissat/src/utilities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/utilities.c -------------------------------------------------------------------------------- /emu/kissat/src/utilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/utilities.h -------------------------------------------------------------------------------- /emu/kissat/src/value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/value.h -------------------------------------------------------------------------------- /emu/kissat/src/vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/vector.c -------------------------------------------------------------------------------- /emu/kissat/src/vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/vector.h -------------------------------------------------------------------------------- /emu/kissat/src/vivify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/vivify.c -------------------------------------------------------------------------------- /emu/kissat/src/vivify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/vivify.h -------------------------------------------------------------------------------- /emu/kissat/src/walk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/walk.c -------------------------------------------------------------------------------- /emu/kissat/src/walk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/walk.h -------------------------------------------------------------------------------- /emu/kissat/src/watch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/watch.c -------------------------------------------------------------------------------- /emu/kissat/src/watch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/watch.h -------------------------------------------------------------------------------- /emu/kissat/src/weaken.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/weaken.c -------------------------------------------------------------------------------- /emu/kissat/src/weaken.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/weaken.h -------------------------------------------------------------------------------- /emu/kissat/src/witness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/witness.c -------------------------------------------------------------------------------- /emu/kissat/src/witness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/witness.h -------------------------------------------------------------------------------- /emu/kissat/src/xors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/xors.c -------------------------------------------------------------------------------- /emu/kissat/src/xors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat/src/xors.h -------------------------------------------------------------------------------- /emu/kissat_picat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/kissat_picat.c -------------------------------------------------------------------------------- /emu/lingeling/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/README -------------------------------------------------------------------------------- /emu/lingeling/lglbnr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/lglbnr.c -------------------------------------------------------------------------------- /emu/lingeling/lglcfg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/lglcfg.h -------------------------------------------------------------------------------- /emu/lingeling/lglcflags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/lglcflags.h -------------------------------------------------------------------------------- /emu/lingeling/lglib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/lglib.c -------------------------------------------------------------------------------- /emu/lingeling/lglib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/lglib.h -------------------------------------------------------------------------------- /emu/lingeling/plglib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/plglib.c -------------------------------------------------------------------------------- /emu/lingeling/plingeling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/lingeling/plingeling.c -------------------------------------------------------------------------------- /emu/load_inst.c: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /emu/load_inst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/load_inst.h -------------------------------------------------------------------------------- /emu/load_inst_frombplist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/load_inst_frombplist.h -------------------------------------------------------------------------------- /emu/load_inst_fromcarray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/load_inst_fromcarray.h -------------------------------------------------------------------------------- /emu/loader.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/loader.c -------------------------------------------------------------------------------- /emu/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/main.c -------------------------------------------------------------------------------- /emu/maple/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/LICENSE -------------------------------------------------------------------------------- /emu/maple/bin/starexec_run_default: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./MapleLCMDistChrBt-DL-v3 $1 -drup-file=$2/proof.out 4 | -------------------------------------------------------------------------------- /emu/maple/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Dimacs.h -------------------------------------------------------------------------------- /emu/maple/core/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Main.cc -------------------------------------------------------------------------------- /emu/maple/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Makefile -------------------------------------------------------------------------------- /emu/maple/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Solver.cc -------------------------------------------------------------------------------- /emu/maple/core/Solver.cc~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Solver.cc~ -------------------------------------------------------------------------------- /emu/maple/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Solver.h -------------------------------------------------------------------------------- /emu/maple/core/Solver.h~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/Solver.h~ -------------------------------------------------------------------------------- /emu/maple/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/core/SolverTypes.h -------------------------------------------------------------------------------- /emu/maple/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Alg.h -------------------------------------------------------------------------------- /emu/maple/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Alloc.h -------------------------------------------------------------------------------- /emu/maple/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Heap.h -------------------------------------------------------------------------------- /emu/maple/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/IntTypes.h -------------------------------------------------------------------------------- /emu/maple/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Map.h -------------------------------------------------------------------------------- /emu/maple/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Queue.h -------------------------------------------------------------------------------- /emu/maple/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Sort.h -------------------------------------------------------------------------------- /emu/maple/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/Vec.h -------------------------------------------------------------------------------- /emu/maple/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/XAlloc.h -------------------------------------------------------------------------------- /emu/maple/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/config.mk -------------------------------------------------------------------------------- /emu/maple/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/mtl/template.mk -------------------------------------------------------------------------------- /emu/maple/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/Main.cc -------------------------------------------------------------------------------- /emu/maple/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/Makefile -------------------------------------------------------------------------------- /emu/maple/simp/SimpSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/SimpSolver.cc -------------------------------------------------------------------------------- /emu/maple/simp/SimpSolver.cc~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/SimpSolver.cc~ -------------------------------------------------------------------------------- /emu/maple/simp/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/SimpSolver.h -------------------------------------------------------------------------------- /emu/maple/simp/depend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/simp/depend.mk -------------------------------------------------------------------------------- /emu/maple/starexec_build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/starexec_build -------------------------------------------------------------------------------- /emu/maple/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/Makefile -------------------------------------------------------------------------------- /emu/maple/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/Options.cc -------------------------------------------------------------------------------- /emu/maple/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/Options.h -------------------------------------------------------------------------------- /emu/maple/utils/Options.h~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/Options.h~ -------------------------------------------------------------------------------- /emu/maple/utils/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/ParseUtils.h -------------------------------------------------------------------------------- /emu/maple/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/System.cc -------------------------------------------------------------------------------- /emu/maple/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple/utils/System.h -------------------------------------------------------------------------------- /emu/maple_interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple_interface.cpp -------------------------------------------------------------------------------- /emu/maple_interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/maple_interface.h -------------------------------------------------------------------------------- /emu/mic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/mic.c -------------------------------------------------------------------------------- /emu/numbervars.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/numbervars.c -------------------------------------------------------------------------------- /emu/picat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/picat.h -------------------------------------------------------------------------------- /emu/picat_bc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/picat_bc.h -------------------------------------------------------------------------------- /emu/picat_utilities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/picat_utilities.c -------------------------------------------------------------------------------- /emu/picat_utilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/picat_utilities.h -------------------------------------------------------------------------------- /emu/plc_java.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/plc_java.c -------------------------------------------------------------------------------- /emu/qc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/qc.c -------------------------------------------------------------------------------- /emu/reasonls_interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/reasonls_interface.cpp -------------------------------------------------------------------------------- /emu/reasonls_interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/reasonls_interface.h -------------------------------------------------------------------------------- /emu/sapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/sapi.c -------------------------------------------------------------------------------- /emu/sapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/sapi.h -------------------------------------------------------------------------------- /emu/sat_bp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/sat_bp.c -------------------------------------------------------------------------------- /emu/table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/table.c -------------------------------------------------------------------------------- /emu/temp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/temp.c -------------------------------------------------------------------------------- /emu/term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/term.h -------------------------------------------------------------------------------- /emu/toam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/toam.c -------------------------------------------------------------------------------- /emu/toam.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/toam.h -------------------------------------------------------------------------------- /emu/toamprofile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/toamprofile.c -------------------------------------------------------------------------------- /emu/token.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/token.c -------------------------------------------------------------------------------- /emu/unify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/unify.c -------------------------------------------------------------------------------- /emu/univ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/emu/univ.c -------------------------------------------------------------------------------- /exs/cp/kakuro.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/kakuro.pi -------------------------------------------------------------------------------- /exs/cp/knightTour.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/knightTour.pi -------------------------------------------------------------------------------- /exs/cp/pigeon_hole.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/pigeon_hole.pi -------------------------------------------------------------------------------- /exs/cp/ppm.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/ppm.pi -------------------------------------------------------------------------------- /exs/cp/queens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/queens.pi -------------------------------------------------------------------------------- /exs/cp/sequence.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/sequence.pi -------------------------------------------------------------------------------- /exs/cp/sudoku.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/sudoku.pi -------------------------------------------------------------------------------- /exs/cp/zebra.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/cp/zebra.pi -------------------------------------------------------------------------------- /exs/euler/base_exp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/base_exp.txt -------------------------------------------------------------------------------- /exs/euler/names.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/names.txt -------------------------------------------------------------------------------- /exs/euler/p1.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p1.pi -------------------------------------------------------------------------------- /exs/euler/p10.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p10.pi -------------------------------------------------------------------------------- /exs/euler/p100.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p100.pi -------------------------------------------------------------------------------- /exs/euler/p106.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p106.pi -------------------------------------------------------------------------------- /exs/euler/p108.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p108.pi -------------------------------------------------------------------------------- /exs/euler/p10_rb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p10_rb.pi -------------------------------------------------------------------------------- /exs/euler/p11.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p11.pi -------------------------------------------------------------------------------- /exs/euler/p12.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p12.pi -------------------------------------------------------------------------------- /exs/euler/p13.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p13.pi -------------------------------------------------------------------------------- /exs/euler/p14.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p14.pi -------------------------------------------------------------------------------- /exs/euler/p15.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p15.pi -------------------------------------------------------------------------------- /exs/euler/p16.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p16.pi -------------------------------------------------------------------------------- /exs/euler/p17.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p17.pi -------------------------------------------------------------------------------- /exs/euler/p18.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p18.pi -------------------------------------------------------------------------------- /exs/euler/p19.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p19.pi -------------------------------------------------------------------------------- /exs/euler/p1_rb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p1_rb.pi -------------------------------------------------------------------------------- /exs/euler/p2.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p2.pi -------------------------------------------------------------------------------- /exs/euler/p20.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p20.pi -------------------------------------------------------------------------------- /exs/euler/p206.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p206.pi -------------------------------------------------------------------------------- /exs/euler/p21.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p21.pi -------------------------------------------------------------------------------- /exs/euler/p22.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p22.pi -------------------------------------------------------------------------------- /exs/euler/p23.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p23.pi -------------------------------------------------------------------------------- /exs/euler/p24.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p24.pi -------------------------------------------------------------------------------- /exs/euler/p25.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p25.pi -------------------------------------------------------------------------------- /exs/euler/p26.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p26.pi -------------------------------------------------------------------------------- /exs/euler/p27.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p27.pi -------------------------------------------------------------------------------- /exs/euler/p28.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p28.pi -------------------------------------------------------------------------------- /exs/euler/p29.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p29.pi -------------------------------------------------------------------------------- /exs/euler/p2_rb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p2_rb.pi -------------------------------------------------------------------------------- /exs/euler/p3.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p3.pi -------------------------------------------------------------------------------- /exs/euler/p30.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p30.pi -------------------------------------------------------------------------------- /exs/euler/p31.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p31.pi -------------------------------------------------------------------------------- /exs/euler/p32.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p32.pi -------------------------------------------------------------------------------- /exs/euler/p33.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p33.pi -------------------------------------------------------------------------------- /exs/euler/p34.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p34.pi -------------------------------------------------------------------------------- /exs/euler/p35.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p35.pi -------------------------------------------------------------------------------- /exs/euler/p36.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p36.pi -------------------------------------------------------------------------------- /exs/euler/p37.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p37.pi -------------------------------------------------------------------------------- /exs/euler/p38.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p38.pi -------------------------------------------------------------------------------- /exs/euler/p39.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p39.pi -------------------------------------------------------------------------------- /exs/euler/p4.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p4.pi -------------------------------------------------------------------------------- /exs/euler/p40.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p40.pi -------------------------------------------------------------------------------- /exs/euler/p41.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p41.pi -------------------------------------------------------------------------------- /exs/euler/p42.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p42.pi -------------------------------------------------------------------------------- /exs/euler/p43.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p43.pi -------------------------------------------------------------------------------- /exs/euler/p44.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p44.pi -------------------------------------------------------------------------------- /exs/euler/p45.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p45.pi -------------------------------------------------------------------------------- /exs/euler/p46.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p46.pi -------------------------------------------------------------------------------- /exs/euler/p47.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p47.pi -------------------------------------------------------------------------------- /exs/euler/p48.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p48.pi -------------------------------------------------------------------------------- /exs/euler/p49.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p49.pi -------------------------------------------------------------------------------- /exs/euler/p5.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p5.pi -------------------------------------------------------------------------------- /exs/euler/p50.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p50.pi -------------------------------------------------------------------------------- /exs/euler/p52.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p52.pi -------------------------------------------------------------------------------- /exs/euler/p6.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p6.pi -------------------------------------------------------------------------------- /exs/euler/p67.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p67.pi -------------------------------------------------------------------------------- /exs/euler/p67_old.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p67_old.pi -------------------------------------------------------------------------------- /exs/euler/p7.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p7.pi -------------------------------------------------------------------------------- /exs/euler/p7_old.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p7_old.pi -------------------------------------------------------------------------------- /exs/euler/p8.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p8.pi -------------------------------------------------------------------------------- /exs/euler/p9.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p9.pi -------------------------------------------------------------------------------- /exs/euler/p99.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p99.pi -------------------------------------------------------------------------------- /exs/euler/p9_rb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/p9_rb.pi -------------------------------------------------------------------------------- /exs/euler/pi_rb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/pi_rb.pi -------------------------------------------------------------------------------- /exs/euler/test.txt: -------------------------------------------------------------------------------- 1 | 895447,504922 2 | 999665,500894 3 | -------------------------------------------------------------------------------- /exs/euler/triangle.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/triangle.txt -------------------------------------------------------------------------------- /exs/euler/words.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/euler/words.txt -------------------------------------------------------------------------------- /exs/exs.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/exs.pi -------------------------------------------------------------------------------- /exs/mip/bqueens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/bqueens.pi -------------------------------------------------------------------------------- /exs/mip/coin.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/coin.pi -------------------------------------------------------------------------------- /exs/mip/diet.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/diet.pi -------------------------------------------------------------------------------- /exs/mip/maxflow_mip.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/maxflow_mip.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex1.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex1.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex2.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex2.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex3.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex3.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex4.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex4.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex5.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex5.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex6.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex6.pi -------------------------------------------------------------------------------- /exs/mip/tmip_ex7.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip/tmip_ex7.pi -------------------------------------------------------------------------------- /exs/mip_exs.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/mip_exs.tar.gz -------------------------------------------------------------------------------- /exs/nn/author_classify/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/README.md -------------------------------------------------------------------------------- /exs/nn/author_classify/author_classify_test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/author_classify_test.pi -------------------------------------------------------------------------------- /exs/nn/author_classify/author_classify_train.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/author_classify_train.pi -------------------------------------------------------------------------------- /exs/nn/author_classify/chesterton1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/chesterton1.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/chesterton2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/chesterton2.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/chesterton3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/chesterton3.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/melville1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/melville1.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/melville2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/melville2.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/melville3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/melville3.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/preprocess.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/preprocess.pi -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_chesterton1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_chesterton1.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_chesterton2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_chesterton2.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_chesterton3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_chesterton3.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_melville1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_melville1.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_melville2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_melville2.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/processed_melville3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/processed_melville3.txt -------------------------------------------------------------------------------- /exs/nn/author_classify/transition_probabilities.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/transition_probabilities.data -------------------------------------------------------------------------------- /exs/nn/author_classify/transition_probabilities.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/author_classify/transition_probabilities.pi -------------------------------------------------------------------------------- /exs/nn/lang_classify/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/README.md -------------------------------------------------------------------------------- /exs/nn/lang_classify/english1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/english1.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/english2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/english2.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/english3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/english3.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/french1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/french1.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/french2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/french2.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/french3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/french3.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/frequencies.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/frequencies.data -------------------------------------------------------------------------------- /exs/nn/lang_classify/frequencies.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/frequencies.pi -------------------------------------------------------------------------------- /exs/nn/lang_classify/lang_classify.net: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/lang_classify.net -------------------------------------------------------------------------------- /exs/nn/lang_classify/lang_classify_test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/lang_classify_test.pi -------------------------------------------------------------------------------- /exs/nn/lang_classify/lang_classify_train.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/lang_classify_train.pi -------------------------------------------------------------------------------- /exs/nn/lang_classify/spanish1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/spanish1.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/spanish2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/spanish2.txt -------------------------------------------------------------------------------- /exs/nn/lang_classify/spanish3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/lang_classify/spanish3.txt -------------------------------------------------------------------------------- /exs/nn/mnist/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/mnist/README.md -------------------------------------------------------------------------------- /exs/nn/mnist/digits_test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/mnist/digits_test.pi -------------------------------------------------------------------------------- /exs/nn/mnist/digits_train.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/mnist/digits_train.pi -------------------------------------------------------------------------------- /exs/nn/scaling/scaling.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/scaling/scaling.data -------------------------------------------------------------------------------- /exs/nn/scaling/scaling.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/scaling/scaling.tar.gz -------------------------------------------------------------------------------- /exs/nn/scaling/scaling_test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/scaling/scaling_test.pi -------------------------------------------------------------------------------- /exs/nn/scaling/scaling_train.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/scaling/scaling_train.pi -------------------------------------------------------------------------------- /exs/nn/spam_detector/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/README.md -------------------------------------------------------------------------------- /exs/nn/spam_detector/TestX.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/TestX.csv -------------------------------------------------------------------------------- /exs/nn/spam_detector/Train.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/Train.csv -------------------------------------------------------------------------------- /exs/nn/spam_detector/Train.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/Train.txt -------------------------------------------------------------------------------- /exs/nn/spam_detector/csv2fann.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/csv2fann.pi -------------------------------------------------------------------------------- /exs/nn/spam_detector/spam.net: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/spam.net -------------------------------------------------------------------------------- /exs/nn/spam_detector/spambase.DOCUMENTATION: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/spambase.DOCUMENTATION -------------------------------------------------------------------------------- /exs/nn/spam_detector/spambase.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/spambase.data -------------------------------------------------------------------------------- /exs/nn/spam_detector/spambase.names: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/spambase.names -------------------------------------------------------------------------------- /exs/nn/spam_detector/test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/test.pi -------------------------------------------------------------------------------- /exs/nn/spam_detector/train.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/spam_detector/train.pi -------------------------------------------------------------------------------- /exs/nn/xor/fann_xor.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/fann_xor.pi -------------------------------------------------------------------------------- /exs/nn/xor/xor.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/xor.data -------------------------------------------------------------------------------- /exs/nn/xor/xor.net: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/xor.net -------------------------------------------------------------------------------- /exs/nn/xor/xor_test.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/xor_test.pi -------------------------------------------------------------------------------- /exs/nn/xor/xor_train_data.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/xor_train_data.pi -------------------------------------------------------------------------------- /exs/nn/xor/xor_train_file.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/nn/xor/xor_train_file.pi -------------------------------------------------------------------------------- /exs/planner/15_puzzle.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/15_puzzle.pi -------------------------------------------------------------------------------- /exs/planner/15_puzzle.pi~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/15_puzzle.pi~ -------------------------------------------------------------------------------- /exs/planner/farmer.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/farmer.pi -------------------------------------------------------------------------------- /exs/planner/klotski.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/klotski.pi -------------------------------------------------------------------------------- /exs/planner/nomystery.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/nomystery.pi -------------------------------------------------------------------------------- /exs/planner/ricochet.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/ricochet.pi -------------------------------------------------------------------------------- /exs/planner/sokoban.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/sokoban.pi -------------------------------------------------------------------------------- /exs/planner/solitaire.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/solitaire.pi -------------------------------------------------------------------------------- /exs/planner/treasure.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/treasure.pi -------------------------------------------------------------------------------- /exs/planner/water.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/planner/water.pi -------------------------------------------------------------------------------- /exs/sat/bqueens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/bqueens.pi -------------------------------------------------------------------------------- /exs/sat/crossword.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/crossword.pi -------------------------------------------------------------------------------- /exs/sat/magic_square.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/magic_square.pi -------------------------------------------------------------------------------- /exs/sat/marriage_roman_sat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/marriage_roman_sat.pi -------------------------------------------------------------------------------- /exs/sat/maxClique.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/maxClique.pi -------------------------------------------------------------------------------- /exs/sat/numberlink_b.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/numberlink_b.pi -------------------------------------------------------------------------------- /exs/sat/queens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/queens.pi -------------------------------------------------------------------------------- /exs/sat/sudoku.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/sudoku.pi -------------------------------------------------------------------------------- /exs/sat/sudoku_sat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/sudoku_sat.pi -------------------------------------------------------------------------------- /exs/sat/vmtl.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/sat/vmtl.pi -------------------------------------------------------------------------------- /exs/smt/bqueens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/smt/bqueens.pi -------------------------------------------------------------------------------- /exs/smt/maxClique.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/smt/maxClique.pi -------------------------------------------------------------------------------- /exs/smt/queens.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/smt/queens.pi -------------------------------------------------------------------------------- /exs/smt/sudoku.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/smt/sudoku.pi -------------------------------------------------------------------------------- /exs/solve_all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/solve_all -------------------------------------------------------------------------------- /exs/test_exs.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/test_exs.pi -------------------------------------------------------------------------------- /exs/test_exs_cp.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/exs/test_exs_cp.pi -------------------------------------------------------------------------------- /lib/analyze_pb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/analyze_pb.pi -------------------------------------------------------------------------------- /lib/apl_util.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/apl_util.pi -------------------------------------------------------------------------------- /lib/basic.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/basic.pi -------------------------------------------------------------------------------- /lib/common_constr.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/common_constr.pi -------------------------------------------------------------------------------- /lib/common_sat_cp.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/common_sat_cp.pi -------------------------------------------------------------------------------- /lib/comp_lib.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/comp_lib.pi -------------------------------------------------------------------------------- /lib/count_ans.pi: -------------------------------------------------------------------------------- 1 | findall_upto(Template,Call,N) 2 | -------------------------------------------------------------------------------- /lib/cp.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/cp.pi -------------------------------------------------------------------------------- /lib/datetime.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/datetime.pi -------------------------------------------------------------------------------- /lib/extract_solved.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/extract_solved.pi -------------------------------------------------------------------------------- /lib/flatten_dir.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/flatten_dir.pi -------------------------------------------------------------------------------- /lib/fzn2picat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn2picat.pi -------------------------------------------------------------------------------- /lib/fzn2picat_dump.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn2picat_dump.pi -------------------------------------------------------------------------------- /lib/fzn_parser.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn_parser.pi -------------------------------------------------------------------------------- /lib/fzn_picat_cp.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn_picat_cp.pi -------------------------------------------------------------------------------- /lib/fzn_picat_sat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn_picat_sat.pi -------------------------------------------------------------------------------- /lib/fzn_tokenizer.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/fzn_tokenizer.pi -------------------------------------------------------------------------------- /lib/gen_comp_all.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_comp_all.pi -------------------------------------------------------------------------------- /lib/gen_conv.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_conv.pi -------------------------------------------------------------------------------- /lib/gen_conv_all.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_conv_all.pi -------------------------------------------------------------------------------- /lib/gen_extract_pattern.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_extract_pattern.pi -------------------------------------------------------------------------------- /lib/gen_indent_all.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_indent_all.pi -------------------------------------------------------------------------------- /lib/gen_run_all.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_run_all.pi -------------------------------------------------------------------------------- /lib/gen_run_all0.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_run_all0.pi -------------------------------------------------------------------------------- /lib/gen_solve_all.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_solve_all.pi -------------------------------------------------------------------------------- /lib/gen_solve_all_fzn.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gen_solve_all_fzn.pi -------------------------------------------------------------------------------- /lib/geom.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/geom.pi -------------------------------------------------------------------------------- /lib/global_contiguity.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/global_contiguity.pi -------------------------------------------------------------------------------- /lib/globals.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/globals.pi -------------------------------------------------------------------------------- /lib/gps_utils.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/gps_utils.pi -------------------------------------------------------------------------------- /lib/graph.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/graph.pi -------------------------------------------------------------------------------- /lib/haskell_prelude.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/haskell_prelude.pi -------------------------------------------------------------------------------- /lib/io.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/io.pi -------------------------------------------------------------------------------- /lib/json.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/json.pi -------------------------------------------------------------------------------- /lib/latex2html.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/latex2html.pi -------------------------------------------------------------------------------- /lib/list_set.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/list_set.pi -------------------------------------------------------------------------------- /lib/math.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/math.pi -------------------------------------------------------------------------------- /lib/mip.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/mip.pi -------------------------------------------------------------------------------- /lib/mip_aux.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/mip_aux.pi -------------------------------------------------------------------------------- /lib/nn.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/nn.pi -------------------------------------------------------------------------------- /lib/ordset.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/ordset.pi -------------------------------------------------------------------------------- /lib/os.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/os.pi -------------------------------------------------------------------------------- /lib/pb.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/pb.pi -------------------------------------------------------------------------------- /lib/pb2pi.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/pb2pi.pi -------------------------------------------------------------------------------- /lib/picat_lib_aux.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/picat_lib_aux.pi -------------------------------------------------------------------------------- /lib/planner.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/planner.pi -------------------------------------------------------------------------------- /lib/prism.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/prism.pi -------------------------------------------------------------------------------- /lib/regular.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/regular.pi -------------------------------------------------------------------------------- /lib/sat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/sat.pi -------------------------------------------------------------------------------- /lib/set_util.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/set_util.pi -------------------------------------------------------------------------------- /lib/smt.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/smt.pi -------------------------------------------------------------------------------- /lib/smt_aux.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/smt_aux.pi -------------------------------------------------------------------------------- /lib/stat.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/stat.pi -------------------------------------------------------------------------------- /lib/state_list.pi: -------------------------------------------------------------------------------- 1 | module state_list. 2 | 3 | 4 | -------------------------------------------------------------------------------- /lib/sugar2pi.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/sugar2pi.pi -------------------------------------------------------------------------------- /lib/sys.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/sys.pi -------------------------------------------------------------------------------- /lib/tabular_runtimes.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/tabular_runtimes.pi -------------------------------------------------------------------------------- /lib/traverse_dir.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/traverse_dir.pi -------------------------------------------------------------------------------- /lib/trim_lines.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/trim_lines.pi -------------------------------------------------------------------------------- /lib/util.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/util.pi -------------------------------------------------------------------------------- /lib/utils.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/utils.pi -------------------------------------------------------------------------------- /lib/xcsp2pi.pi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/lib/xcsp2pi.pi -------------------------------------------------------------------------------- /picat-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/picat-mode.el -------------------------------------------------------------------------------- /prep-tgz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rurban/picat-lang/HEAD/prep-tgz.sh --------------------------------------------------------------------------------