| /dports/math/singular/Singular-Release-4-2-1/IntegerProgramming/ |
| H A D | IP_algorithms.h | 8 typedef char* INPUT_FILE; typedef
50 extern int Conti_Traverso(INPUT_FILE MATRIX,
59 extern int Positive_Conti_Traverso(INPUT_FILE MATRIX,
67 extern int Elim_Conti_Traverso(INPUT_FILE MATRIX,
76 extern int Pottier(INPUT_FILE MATRIX,
84 extern int Hosten_Sturmfels(INPUT_FILE MATRIX,
93 extern int DiBiase_Urbanke(INPUT_FILE MATRIX,
101 extern int Bigatti_LaScala_Robbiano(INPUT_FILE MATRIX,
117 extern int solve(INPUT_FILE PROBLEM, INPUT_FILE GROEBNER);
129 extern int change_cost(INPUT_FILE GROEBNER, INPUT_FILE NEW_COST,
|
| /dports/devel/libvslvm/libvslvm-20210807/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libvsgpt/libvsgpt-20210207/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libvshadow/libvshadow-20210425/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libbde/libbde-20210605/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libevt/libevt-20210424/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libcreg/libcreg-20210502/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfsntfs/libfsntfs-20210503/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfwsi/libfwsi-20210419/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfwnt/libfwnt-20210906/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfsxfs/libfsxfs-20210726/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfsapfs/libfsapfs-20210424/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfsext/libfsext-20210721/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libevtx/libevtx-20210525/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libsmraw/libsmraw-20210807/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libvmdk/libvmdk-20210807/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libvhdi/libvhdi-20210425/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libsmdev/libsmdev-20210418/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libsigscan/libsigscan-20210419/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libfshfs/libfshfs-20210722/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libesedb/libesedb-20210424/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libewf/libewf-20140812/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/liblnk/liblnk-20210417/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libolecf/libolecf-20210512/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|
| /dports/devel/libqcow/libqcow-20210419/tests/ |
| H A D | test_runner.sh | 269 local INPUT_FILE=$2;
272 local INPUT_NAME=`basename "${INPUT_FILE}"`;
387 local INPUT_FILE=$2;
390 local TEST_DATA_OPTION_FILE="${INPUT_FILE}.${OPTION_SET}";
743 local INPUT_FILE=$2;
1023 ${TEST_EXECUTABLE} ${ARGUMENTS[@]} "${INPUT_FILE}";
1057 local INPUT_FILE=$6;
1061 local INPUT_NAME=`basename "${INPUT_FILE}"`;
1095 local INPUT_FILE_FULL_PATH=$( readlink_f "${INPUT_FILE}" );
1137 echo -n "${TEST_DESCRIPTION} with input: ${INPUT_FILE}";
[all …]
|