文件列表:

opt (0, 2017-08-26)
opt\FriendlyARM (0, 2017-08-26)
opt\FriendlyARM\toolschain (0, 2017-08-26)
opt\FriendlyARM\toolschain\4.4.3 (0, 2010-07-26)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\ar (728063, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\as (1212755, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\c++ (265179, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\g++ (265179, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\gcc (261464, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\ld (1165030, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\nm (710607, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\objcopy (908051, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\objdump (1062880, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\ranlib (728062, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\bin\strip (908050, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\bin (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\bin\gdb (4409583, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\bin\ltrace (538628, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\bin\strace (490289, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\bin\strace-graph (8287, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\etc (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\etc\ltrace.conf (15752, 2009-07-25)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include\ansidecl.h (13139, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include\bfd.h (182263, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include\bfdlink.h (29171, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include\dis-asm.h (15888, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\include\symcat.h (1902, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib\libbfd.a (863170, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib\libbfd.la (978, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib\libiberty.a (290174, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib\libopcodes.a (118286, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\lib\libopcodes.la (990, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\share (0, 2010-07-24)
opt\FriendlyARM\toolschain\4.4.3\arm-none-linux-gnueabi\debug-root\usr\share\doc (0, 2010-07-24)
... ...

Copyright (C) 2001-2009 Roberto Bagnara See below for the copying conditions. Parma Polyhedra Library (Release 0.10.2) ======================================== This is the release 0.10.2 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions. To be more precise, the Parma Polyhedra Library (PPL) can handle: + all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or a (strict or non-strict) inequality with rational coefficients; + convex polyhedra defined by systems of bounded differences with a wide choice of integer, rational or floating point coefficients; + all grids (or, equivalently, lattices); a grid is defined by a set of congruence relations with rational coefficients and consists of the set of all points that satisfy these relations; + finite powersets of the above; + linear programming problems, solved with an implementation of the primal simplex algorithm using exact arithmetic. The Parma Polyhedra Library is: + user friendly: you write `x + 2*y + 5*z <= 7' when you mean it; + fully dynamic: available virtual memory is the only limitation to the dimension of anything; + written in standard C++: meant to be portable; + exception-safe: never leaks resources or leaves invalid object fragments around; + rather efficient: and we hope to make it even more so; + thoroughly documented: perhaps not ``literate programming'' but close enough; + free software: distributed under the terms of the GNU General Public License. See the file COPYING for licensing information. See the file INSTALL for generic build and installation instructions. See the file README.configure for more specific configuration instructions. See the file NEWS for recent project news. See the file BUGS for known bugs and how to report new ones. See the file CREDITS for a list of people, projects and organizations that made the PPL a reality. See http://www.cs.unipr.it/ppl/ for more information on the PPL. For any additional questions you might have, please do not hesitate to write to ppl-devel@cs.unipr.it. Here is the contents of the PPL 0.10 source distribution (41 directories, 1446 files): ppl-0.10.2 |-- BUGS |-- COPYING |-- CREDITS |-- ChangeLog |-- INSTALL |-- Makefile.am |-- Makefile.in |-- NEWS |-- README |-- README.configure |-- STANDARDS |-- TODO |-- Watchdog | |-- BUGS | |-- COPYING | |-- CREDITS | |-- ChangeLog | |-- INSTALL | |-- Makefile.am | |-- Makefile.in | |-- NEWS | |-- README | |-- aclocal.m4 | |-- compile | |-- config.guess | |-- config.h.in | |-- config.rpath | |-- config.sub | |-- configure | |-- configure.ac | |-- depcomp | |-- doc | | |-- Makefile.am | | |-- Makefile.in | | |-- README.doc | | |-- devref.doxyconf-html.in | | |-- devref.doxyconf-latex.in | | |-- devref.tex | | |-- fdl.dox | | |-- fdl.pdf | | |-- fdl.ps.gz | | |-- fdl.tex | | |-- fdl.txt | | |-- gpl.dox | | |-- gpl.pdf | | |-- gpl.ps.gz | | |-- gpl.tex | | |-- gpl.txt | | |-- pwl-user-0.5-html.tar.gz | | |-- pwl-user-0.5.pdf | | |-- pwl-user-0.5.ps.gz | | |-- pwl.sty | | |-- user.doxyconf-html.in | | |-- user.doxyconf-latex.in | | `-- user.tex | |-- install-sh | |-- ltmain.sh | |-- m4 | | |-- Makefile.am | | |-- Makefile.in | | |-- lib-ld.m4 | | |-- lib-link.m4 | | |-- libtool.m4 | | |-- ltoptions.m4 | | |-- ltsugar.m4 | | |-- ltversion.m4 | | `-- lt~obsolete.m4 | |-- missing | |-- mkinstalldirs | |-- pwl-config.h.in | |-- pwl-config.sed | |-- src | | |-- Doubly_Linked_Object.defs.hh | | |-- Doubly_Linked_Object.inlines.hh | | |-- Doubly_Linked_Object.types.hh | | |-- EList.defs.hh | | |-- EList.inlines.hh | | |-- EList.types.hh | | |-- EList_Iterator.defs.hh | | |-- EList_Iterator.inlines.hh | | |-- EList_Iterator.types.hh | | |-- Handler.defs.hh | | |-- Handler.inlines.hh | | |-- Handler.types.hh | | |-- Makefile.am | | |-- Makefile.in | | |-- Pending_Element.cc | | |-- Pending_Element.defs.hh | | |-- Pending_Element.inlines.hh | | |-- Pending_Element.types.hh | | |-- Pending_List.cc | | |-- Pending_List.defs.hh | | |-- Pending_List.inlines.hh | | |-- Pending_List.types.hh | | |-- Time.cc | | |-- Time.defs.hh | | |-- Time.inlines.hh | | |-- Time.types.hh | | |-- Watchdog.cc | | |-- Watchdog.defs.hh | | |-- Watchdog.inlines.hh | | |-- Watchdog.types.hh | | |-- pwl.hh.dist | | `-- pwl_header.hh | |-- tests | | |-- Makefile.am | | |-- Makefile.in | | |-- pwl_test.cc | | |-- pwl_test.hh | | |-- simple1.cc | | `-- valgrind_suppressions | `-- utils | |-- Makefile.am | |-- Makefile.in | `-- build_header.in |-- aclocal.m4 |-- compile |-- config.guess |-- config.h.in |-- config.rpath |-- config.sub |-- configure |-- configure.ac |-- demos | |-- Makefile.am | |-- Makefile.in | |-- ppl_lcdd | | |-- Makefile.am | | |-- Makefile.in | | |-- examples | | | |-- 1d.ine | | | |-- 1da.ine | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- README | | | |-- allzero.ine | | | |-- ccc4.ext | | | |-- ccc5.ext | | | |-- ccc6.ext | | | |-- ccp4.ext | | | |-- ccp5.ext | | | |-- ccp6.ext | | | |-- cp4.ext | | | |-- cp4.ine | | | |-- cp5.ext | | | |-- cp5.ine | | | |-- cp6.ext | | | |-- cp6.ine | | | |-- cp7.ext | | | |-- cross10.ine | | | |-- cross12.ine | | | |-- cross4.ine | | | |-- cross6.ine | | | |-- cross8.ine | | | |-- cube.ext | | | |-- cube.ine | | | |-- cube10.ine | | | |-- cube12.ine | | | |-- cube3.ine | | | |-- cube6.ine | | | |-- cube8.ine | | | |-- cubetop.ine | | | |-- cubocta.ine | | | |-- cut16_11.ext | | | |-- cut32_16.ext | | | |-- cyc.ine | | | |-- cyclic10-4.ext | | | |-- cyclic12-6.ext | | | |-- cyclic14-8.ext | | | |-- cyclic16-10.ext | | | |-- cyclic17_8.ine | | | |-- cyclic25_13.ext | | | |-- dcube10.ext | | | |-- dcube12.ext | | | |-- dcube3.ext | | | |-- dcube6.ext | | | |-- dcube8.ext | | | |-- diamond.ine | | | |-- dodeca_m.ine | | | |-- ex1.ine | | | |-- grcubocta.ine | | | |-- hexocta.ine | | | |-- icododeca_m.ine | | | |-- in0.ine | | | |-- in1.ine | | | |-- in2.ine | | | |-- in3.ine | | | |-- in4.ine | | | |-- in5.ine | | | |-- in6.ine | | | |-- in7.ine | | | |-- infeas.ine | | | |-- integralpoints.ine | | | |-- irbox20-4.ext | | | |-- irbox200-4.ext | | | |-- kkd18_4.ine | | | |-- kkd27_5.ine | | | |-- kkd38_6.ine | | | |-- kq20_11_m.ine | | | |-- metric40_11.ine | | | |-- metric80_16.ine | | | |-- mit.ine | | | |-- mit288-281.ine | | | |-- mit31-20.ine | | | |-- mit41-16.ine | | | |-- mit708-9.ine | | | |-- mit71-61.ine | | | |-- mit90-86.ine | | | |-- mp5.ext | | | |-- mp5.ine | | | |-- mp5a.ine | | | |-- mp6.ine | | | |-- nonfull.ine | | | |-- origin.ine | | | |-- prodst62.ext | | | |-- project1_m.ine | | | |-- project1res.ine | | | |-- project2_m.ine | | | |-- project2res.ine | | | |-- rcubocta.ine | | | |-- redcheck.ext | | | |-- reg24-5.ext | | | |-- reg24-5.ine | | | |-- reg600-5_m.ext | | | |-- rhomtria_m.ine | | | |-- sample.ine | | | |-- sampleh1.ine | | | |-- sampleh2.ine | | | |-- sampleh3.ine | | | |-- sampleh4.ine | | | |-- sampleh5.ine | | | |-- sampleh6.ine | | | |-- sampleh7.ine | | | |-- sampleh8.ine | | | |-- samplev1.ext | | | |-- samplev2.ext | | | |-- samplev3.ext | | | |-- trunc10.ine | | | |-- trunc7.ine | | | |-- tsp5.ext | | | `-- tsp5.ine | | |-- expected_int16 | | |-- expected_int16_a | | |-- expected_int32 | | |-- expected_int32_a | | |-- expected_int*** | | |-- expected_int***_a | | |-- expected_int8 | | |-- expected_int8_a | | |-- expected_mpz | | |-- expected_mpz_a | | |-- ppl_lcdd.1 | | `-- ppl_lcdd.cc | `-- ppl_lpsol | |-- Makefile.am | |-- Makefile.in | |-- dummy.cc | |-- examples | | |-- Makefile.am | | |-- Makefile.in | | |-- README | | |-- adlittle.mps | | |-- afiro.mps | | |-- bgprtr.mps | | |-- blend.mps | | |-- boeing1.mps | | |-- boeing2.mps | | |-- egout.mps | | |-- ex1.mps | | |-- ex12.mps | | |-- kb2.mps | | |-- lseu.mps | | |-- markshare1.mps | | |-- markshare2.mps | | |-- mas74.mps | | |-- mas76.mps | | |-- mip.mps | | |-- modglob.mps | | |-- noswot.mps | | |-- opt1217.mps | | |-- p0033.mps | | |-- pk1.mps | | |-- rout.mps | | |-- sample.mps | | |-- sc105.mps | | |-- sc50a.mps | | |-- sc50b.mps | | |-- ship08l.mps | | `-- unboundedmin.mps | |-- expected_int16 | |-- expected_int16_a | |-- expected_int32 | |-- expected_int32_a | |-- expected_int*** | |-- expected_int***_a | |-- expected_int8 | |-- expected_int8_a | |-- expected_mpz | |-- expected_mpz_a | |-- ppl_lpsol.1 | `-- ppl_lpsol.c |-- depcomp |-- doc | |-- Makefile.am | |-- Makefile.in | |-- README.doc | |-- definitions.dox | |-- devref-language-interface.doxyconf.in | |-- devref-language-interface.tex | |-- devref.doxyconf-html.in | |-- devref.doxyconf-latex.in | |-- devref.tex | |-- fdl.dox | |-- fdl.pdf | |-- fdl.ps.gz | |-- fdl.tex | |-- fdl.txt | |-- gpl.dox | |-- gpl.pdf | |-- gpl.ps.gz | |-- gpl.tex | |-- gpl.txt | |-- interfaces-html.sed | |-- interfaces-latex.sed | |-- libppl.3 | |-- libppl_c.3 | |-- ppl-config.1 | |-- ppl-user-0.10.2-html.tar.gz | |-- ppl-user-0.10.2.pdf | |-- ppl-user-0.10.2.ps.gz | |-- ppl-user-c-interface-0.10.2-html.tar.gz | |-- ppl-user-c-interface-0.10.2.pdf | |-- ppl-user-c-interface-0.10.2.ps.gz | |-- ppl-user-java-interface-0.10.2-html.tar.gz | |-- ppl-user-java-interface-0.10.2.pdf | |-- ppl-user-java-interface-0.10.2.ps.gz | |-- ppl-user-ocaml-interface-0.10.2-html.tar.gz | |-- ppl-user-ocaml-interface-0.10.2.pdf | |-- ppl-user-ocaml-interface-0.10.2.ps.gz | |-- ppl-user-prolog-interface-0.10.2-html.tar.gz | |-- ppl-user-prolog-interface-0.10.2.pdf | |-- ppl-user-prolog-interface-0.10.2.ps.gz | |-- ppl.sty | |-- user-language-interface.doxyconf.in | |-- user-language-interface.tex | |-- user.doxyconf-html.in | |-- user.doxyconf-latex.in | `-- user.tex |-- install-sh |-- instchk.hh |-- interfaces | |-- C | | |-- C_interface.dox | | |-- Makefile.am | | |-- Makefile.in | | |-- ppl_c_header.h | | |-- ppl_c_implementation_common.cc | | |-- ppl_c_implementation_common.defs.hh | | |-- ppl_c_implementation_common.inlines.hh | | |-- ppl_c_version.h.in | | |-- ppl_interface_generator_c_cc_code.m4 | | |-- ppl_interface_generator_c_cc_files.m4 | | |-- ppl_interface_generator_c_h.m4 | | |-- ppl_interface_generator_c_h_code.m4 | | |-- ppl_interface_generator_c_hh_files.m4 | | |-- ppl_interface_generator_c_procedure_generators.m4 | | `-- tests | | |-- Makefile.am | | |-- Makefile.in | | |-- formatted_output.c | | |-- ppl_c_test.cc | | |-- ppl_c_test.h | | |-- print_to_buffer.c | | `-- print_to_buffer.h | |-- Java | | |-- Makefile.am | | |-- Makefile.in | | |-- README.java | | |-- jni | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- ppl_interface_generator_java_classes_cc_code.m4 | | | |-- ppl_interface_generator_java_classes_cc_files.m4 | | | |-- ppl_java_common.cc | | | |-- ppl_java_common.defs.hh | | | |-- ppl_java_common.inlines.hh | | | `-- ppl_java_globals.cc | | |-- parma_polyhedra_library | | | |-- By_Reference.java | | | |-- Coefficient.java | | | |-- Complexity_Class.java | | | |-- Congruence.java | | | |-- Congruence_System.java | | | |-- Constraint.java | | | |-- Constraint_System.java | | | |-- Control_Parameter_Name.java | | | |-- Control_Parameter_Value.java | | | |-- Degenerate_Element.java | | | |-- Domain_Error_Exception.java | | | |-- Fake_Class_for_Doxygen.java | | | |-- Generator.java | | | |-- Generator_System.java | | | |-- Generator_Type.java | | | |-- Grid_Generator.java | | | |-- Grid_Generator_System.java | | | |-- Grid_Generator_Type.java | | | |-- IO.java | | | |-- Invalid_Argument_Exception.java | | | |-- Length_Error_Exception.java | | | |-- Linear_Expression.java | | | |-- Linear_Expression_Coefficient.java | | | |-- Linear_Expression_Difference.java | | | |-- Linear_Expression_Sum.java | | | |-- Linear_Expression_Times.java | | | |-- Linear_Expression_Unary_Minus.java | | | |-- Linear_Expression_Variable.java | | | |-- Logic_Error_Exception.java | | | |-- MIP_Problem.java | | | |-- MIP_Problem_Status.java | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- Optimization_Mode.java | | | |-- Overflow_Error_Exception.java | | | |-- PPL_Object.java | | | |-- Pair.java | | | |-- Parma_Polyhedra_Library.java | | | |-- Partial_Function.java | | | |-- Poly_Con_Relation.java | | | |-- Poly_Gen_Relation.java | | | |-- Relation_Symbol.java | | | |-- Variable.java | | | |-- Variables_Set.java | | | |-- ppl_interface_generator_java_classes_java.m4 | | | `-- ppl_interface_generator_java_classes_java_code.m4 | | |-- ppl_interface_generator_java_procedure_generators.m4 | | `-- tests | | |-- C_Polyhedron_test1.java | | |-- MIP_Problem_test1.java | | |-- Makefile.am | | |-- Makefile.in | | |-- NNC_Polyhedron_test1.java | | |-- PPL_Test.java | | |-- Parma_Polyhedra_Library_test1.java | | |-- Test_Executor.java | | |-- Test_Partial_Function.java | | |-- ppl_interface_generator_java_test_java.m4 | | |-- ppl_interface_generator_java_test_java_code.m4 | | `-- ppl_java_tests_common | |-- Makefile.am | |-- Makefile.in | |-- OCaml | | |-- Makefile.am | | |-- Makefile.in | | |-- OCaml_interface.dox | | |-- README.ocaml | | |-- ppl_interface_generator_ocaml_cc_code.m4 | | |-- ppl_interface_generator_ocaml_cc_files.m4 | | |-- ppl_interface_generator_ocaml_hh_code.m4 | | |-- ppl_interface_generator_ocaml_hh_files.m4 | | |-- ppl_interface_generator_ocaml_ml.m4 | | |-- ppl_interface_generator_ocaml_ml_code.m4 | | |-- ppl_interface_generator_ocaml_mli.m4 | | |-- ppl_interface_generator_ocaml_mli_code.m4 | | |-- ppl_interface_generator_ocaml_procedure_generators.m4 | | |-- ppl_ocaml_common.cc | | |-- ppl_ocaml_common.defs.hh | | |-- ppl_ocaml_common.inlines.hh | | |-- ppl_ocaml_globals.ml | | |-- ppl_ocaml_globals.mli | | `-- tests | | |-- Makefile.am | | |-- Makefile.in | | |-- ppl_interface_generator_ocaml_test_ml.m4 | | |-- ppl_interface_generator_ocaml_test_ml_code.m4 | | |-- ppl_ocaml_tests_common | | `-- test1.ml | |-- Prolog | | |-- Ciao | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- README.ciao | | | |-- ciao_cfli.hh | | | |-- ciao_clpq.pl | | | |-- ciao_clpq2.pl | | | |-- ciao_efli.cc | | | |-- ciao_efli.hh | | | |-- ciao_pl_check.pl | | | |-- ppl_interface_generator_ciao_pl.m4 | | | |-- ppl_interface_generator_ciao_prolog_generated_test_pl.m4 | | | `-- ppl_prolog_sysdep.hh | | |-- GNU | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- README.gprolog | | | |-- gnu_pl_check.pl | | | |-- gnu_prolog_generated_test.pl | | | |-- gp_clpq.pl | | | |-- gprolog_cfli.hh | | | |-- gprolog_efli.cc | | | |-- gprolog_efli.hh | | | |-- ppl_interface_generator_gprolog_pl.m4 | | | `-- ppl_prolog_sysdep.hh | | |-- Makefile.am | | |-- Makefile.in | | |-- Prolog_interface.dox | | |-- SICStus | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- ppl_interface_generator_sicstus_sd_cc.m4 | | | |-- ppl_prolog_sysdep.hh | | | |-- ppl_sicstus.pl | | | |-- sicstus_cfli.cc | | | |-- sicstus_cfli.h | | | |-- sicstus_cfli.ic | | | |-- sicstus_efli.cc | | | |-- sicstus_efli.hh | | | |-- sp_clpq.pl | | | |-- sp_pl_check.pl | | | `-- sp_prolog_generated_test.pl | | |-- SWI | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- README.swiprolog | | | |-- pl_clpq.cc | | | |-- pl_clpq.pl | | | |-- ppl_interface_generator_swiprolog_cc.m4 | | | |-- ppl_pl.cc | | | |-- ppl_prolog_sysdep.hh | | | |-- ppl_swiprolog.pl | | | |-- swi_cfli.hh | | | |-- swi_efli.cc | | | |-- swi_efli.hh | | | |-- swi_pl_check.pl | | | `-- swi_prolog_generated_test.pl | | |-- XSB | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- ppl_interface_generator_xsb_H.m4 | | | |-- ppl_interface_generator_xsb_cc.m4 | | | |-- ppl_interface_generator_xsb_hh.m4 | | | |-- ppl_interface_generator_xsb_prolog_generated_test_P.m4 | | | |-- ppl_prolog_sysdep.hh | | | |-- xsb_cfli.hh | | | |-- xsb_clpq.P | | | |-- xsb_clpq2.P | | | |-- xsb_efli.cc | | | |-- xsb_efli.hh | | | `-- xsb_pl_check.P | | |-- YAP | | | |-- Makefile.am | | | |-- Makefile.in | | | |-- README.yap | | | |-- ppl_interface_generator_yap_cc.m4 | | | |-- ppl_prolog_sysdep.hh | | | |-- ppl_yap.pl | | | |-- yap_cfli.hh | | | |-- yap_clpq.pl | | | |-- yap_clpq2.pl | | | |-- yap_efli.cc | | | |-- yap_efli.hh | | | |-- yap_pl_check.pl | | | `-- yap_prolog_generated_test.pl | | |-- ppl_interface_generator_prolog_cc_code.m4 | | |-- ppl_interface_generator_prolog_cc_files.m4 | | |-- ppl_interface_generator_prolog_dox.m4 | | |-- ppl_interface_generator_prolog_dox_code.m4 | | |-- ppl_interface_generator_prolog_hh_code.m4 | | |-- ppl_interface_generator_prolog_hh_files.m4 | | |-- ppl_interface_generator_prolo ... ...

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：