CMake Warning (dev) at /usr/share/cmake-3.21/Modules/FindPackageHandleStandardArgs.cmake:438 (message): The package name passed to `find_package_handle_standard_args` (m4ri) does not match the name of the calling package (M4RI). This can lead to problems in calling code that expects `find_package` result variables (e.g., `_FOUND`) to follow a certain pattern. Call Stack (most recent call first): cmake/FindM4RI.cmake:60 (find_package_handle_standard_args) CMakeLists.txt:585 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning at CMakeLists.txt:590 (MESSAGE): Did not find M4RI, XOR detection&manipulation disabled CMake Warning at CMakeLists.txt:739 (message): Testing is disabled l cryptominisat-5.7.1/cmake/ cryptominisat-5.7.1/cmake/AddGTestSuite.cmake cryptominisat-5.7.1/cmake/AddSTPGTest.cmake cryptominisat-5.7.1/cmake/CheckFloatPrecision.cmake cryptominisat-5.7.1/cmake/FindM4RI.cmake cryptominisat-5.7.1/cmake/FindPerftools.cmake cryptominisat-5.7.1/cmake/FindPkgMacros.cmake cryptominisat-5.7.1/cmake/FindSqlite3.cmake cryptominisat-5.7.1/cmake/FindTBB.cmake cryptominisat-5.7.1/cmake/FindValgrind.cmake cryptominisat-5.7.1/cmake/Findcargo.cmake cryptominisat-5.7.1/cmake/Findrustc.cmake cryptominisat-5.7.1/cmake/Findrustdoc.cmake cryptominisat-5.7.1/cmake/GetGitRevisionDescription.cmake cryptominisat-5.7.1/cmake/GetGitRevisionDescription.cmake.in cryptominisat-5.7.1/cmake/Rust.cmake cryptominisat-5.7.1/cmake/cmake_uninstall.cmake.in cryptominisat-5.7.1/cmsat_tablestructure.sql cryptominisat-5.7.1/cryptominisat5Config.cmake.in cryptominisat-5.7.1/docs/ cryptominisat-5.7.1/docs/HOWTO-ANALYSIS cryptominisat-5.7.1/docs/HOWTO_WEB cryptominisat-5.7.1/docs/HOWTO_opcontrol cryptominisat-5.7.1/docs/HOWTO_perf cryptominisat-5.7.1/docs/satcomp14-pdf/ cryptominisat-5.7.1/docs/satcomp14-pdf/Makefile cryptominisat-5.7.1/docs/satcomp14-pdf/cmsv4.tex cryptominisat-5.7.1/docs/satcomp14-pdf/ieee.cls cryptominisat-5.7.1/docs/satcomp14-pdf/sigproc.bib cryptominisat-5.7.1/docs/satcomp14-pdf/splncs03.bst cryptominisat-5.7.1/docs/satcomp15-pdf/ cryptominisat-5.7.1/docs/satcomp15-pdf/Makefile cryptominisat-5.7.1/docs/satcomp15-pdf/cmsv4.kilepr cryptominisat-5.7.1/docs/satcomp15-pdf/cmsv4.tex cryptominisat-5.7.1/docs/satcomp15-pdf/ieee.cls cryptominisat-5.7.1/docs/satcomp15-pdf/sigproc.bib cryptominisat-5.7.1/docs/satcomp15-pdf/splncs03.bst cryptominisat-5.7.1/docs/satcomp16-pdf/ cryptominisat-5.7.1/docs/satcomp16-pdf/Makefile cryptominisat-5.7.1/docs/satcomp16-pdf/cmsv5.kilepr cryptominisat-5.7.1/docs/satcomp16-pdf/cmsv5.tex cryptominisat-5.7.1/docs/satcomp16-pdf/ieee.cls cryptominisat-5.7.1/docs/satcomp16-pdf/sigproc.bib cryptominisat-5.7.1/docs/satcomp16-pdf/splncs03.bst cryptominisat-5.7.1/docs/satcomp18-pdf/ cryptominisat-5.7.1/docs/satcomp18-pdf/Makefile cryptominisat-5.7.1/docs/satcomp18-pdf/cmsv5.kilepr cryptominisat-5.7.1/docs/satcomp18-pdf/cmsv55.tex cryptominisat-5.7.1/docs/satcomp18-pdf/ieee.cls cryptominisat-5.7.1/docs/satcomp18-pdf/sigproc.bib cryptominisat-5.7.1/docs/satcomp18-pdf/splncs03.bst cryptominisat-5.7.1/docs/satcomp20-pdf/ cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/ cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/Makefile cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/cms-ccanr.tex cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/ieee.cls cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/sigproc.bib cryptominisat-5.7.1/docs/satcomp20-pdf/ccanr/splncs03.bst cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/ cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/Makefile cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/cms-walksat.tex cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/ieee.cls cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/sigproc.bib cryptominisat-5.7.1/docs/satcomp20-pdf/walksat/splncs03.bst cryptominisat-5.7.1/docs/satrace19-pdf/ cryptominisat-5.7.1/docs/satrace19-pdf/walksat/ cryptominisat-5.7.1/docs/satrace19-pdf/walksat/Makefile cryptominisat-5.7.1/docs/satrace19-pdf/walksat/cmsv56-walksat.tex cryptominisat-5.7.1/docs/satrace19-pdf/walksat/ieee.cls cryptominisat-5.7.1/docs/satrace19-pdf/walksat/sigproc.bib cryptominisat-5.7.1/docs/satrace19-pdf/walksat/splncs03.bst cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/ cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/Makefile cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/cmsv56-yalsat.tex cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/ieee.cls cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/sigproc.bib cryptominisat-5.7.1/docs/satrace19-pdf/yalsat/splncs03.bst cryptominisat-5.7.1/manpage-extras cryptominisat-5.7.1/python/ cryptominisat-5.7.1/python/CMakeLists.txt cryptominisat-5.7.1/python/LICENSE cryptominisat-5.7.1/python/MANIFEST.in cryptominisat-5.7.1/python/Makefile cryptominisat-5.7.1/python/README.rst cryptominisat-5.7.1/python/setup.py.in cryptominisat-5.7.1/python/src/ cryptominisat-5.7.1/python/src/pycryptosat.cpp.in cryptominisat-5.7.1/python/tests/ cryptominisat-5.7.1/python/tests/__init__.py cryptominisat-5.7.1/python/tests/f400-r425-x000.cnf cryptominisat-5.7.1/python/tests/test.cnf cryptominisat-5.7.1/python/tests/test_pycryptosat.py cryptominisat-5.7.1/scripts/ cryptominisat-5.7.1/scripts/appveyor.ps1 cryptominisat-5.7.1/scripts/aws/ cryptominisat-5.7.1/scripts/aws/README.markdown cryptominisat-5.7.1/scripts/aws/RequestSpotClient.py cryptominisat-5.7.1/scripts/aws/build_Maple_LCM_Dist.sh cryptominisat-5.7.1/scripts/aws/build_cmsat_satcomp16.sh cryptominisat-5.7.1/scripts/aws/build_cryptominisat.sh cryptominisat-5.7.1/scripts/aws/build_drat-trim2.sh cryptominisat-5.7.1/scripts/aws/build_glucose2016.sh cryptominisat-5.7.1/scripts/aws/build_lingeling_ayv.sh cryptominisat-5.7.1/scripts/aws/build_lingeling_bbc.sh cryptominisat-5.7.1/scripts/aws/build_maplecomsps_drup.sh cryptominisat-5.7.1/scripts/aws/build_swdia5by.sh cryptominisat-5.7.1/scripts/aws/build_swdia5by_old.sh cryptominisat-5.7.1/scripts/aws/client.py cryptominisat-5.7.1/scripts/aws/common_aws.py cryptominisat-5.7.1/scripts/aws/config/ cryptominisat-5.7.1/scripts/aws/config/satcomp11_updated cryptominisat-5.7.1/scripts/aws/config/satcomp13_updated cryptominisat-5.7.1/scripts/aws/config/satcomp14_updated cryptominisat-5.7.1/scripts/aws/config/satcomp16_updated cryptominisat-5.7.1/scripts/aws/config/satcomp17_updated cryptominisat-5.7.1/scripts/aws/config/satrace15_updated cryptominisat-5.7.1/scripts/aws/config/test_updated cryptominisat-5.7.1/scripts/aws/config/unsat_small_candidates_fullpath cryptominisat-5.7.1/scripts/aws/ec2-spot-instance-test.cfg cryptominisat-5.7.1/scripts/aws/ec2-spot-instance.cfg cryptominisat-5.7.1/scripts/aws/launch_server.py cryptominisat-5.7.1/scripts/aws/pack_cnf_lists.py cryptominisat-5.7.1/scripts/aws/pre-server.py cryptominisat-5.7.1/scripts/aws/satcomp091113_updated cryptominisat-5.7.1/scripts/aws/server.py cryptominisat-5.7.1/scripts/aws/server_option_parser.py cryptominisat-5.7.1/scripts/build_scripts/ cryptominisat-5.7.1/scripts/check_all_licenses.sh cryptominisat-5.7.1/scripts/fuzz/ cryptominisat-5.7.1/scripts/fuzz/CMakeLists.txt cryptominisat-5.7.1/scripts/fuzz/debuglib.py cryptominisat-5.7.1/scripts/fuzz/fuzz_test.py cryptominisat-5.7.1/scripts/fuzz/intersperse.py cryptominisat-5.7.1/scripts/fuzz/verifier.py cryptominisat-5.7.1/scripts/fuzz/verifier_test.py cryptominisat-5.7.1/scripts/fuzz/xor_to_cnf_class.py cryptominisat-5.7.1/scripts/learn/ cryptominisat-5.7.1/scripts/learn/add_lemma_ind.py cryptominisat-5.7.1/scripts/learn/gen_pandas.py cryptominisat-5.7.1/scripts/learn/predict.py cryptominisat-5.7.1/scripts/learn/predict_one.sh cryptominisat-5.7.1/scripts/output_parser/ cryptominisat-5.7.1/scripts/output_parser/convert_to_cactusplot.py cryptominisat-5.7.1/scripts/output_parser/create_solvetimes.sh cryptominisat-5.7.1/scripts/output_parser/plotit cryptominisat-5.7.1/scripts/output_parser/solved_with_options.sh cryptominisat-5.7.1/scripts/output_parser/solvetimes_from_output.sh cryptominisat-5.7.1/scripts/output_parser/solvetimes_from_output_glucose.sh cryptominisat-5.7.1/scripts/output_parser/solvetimes_from_output_lingeling.sh cryptominisat-5.7.1/scripts/output_parser/sqlite3_checks.py cryptominisat-5.7.1/scripts/reconf/ cryptominisat-5.7.1/scripts/reconf/count_plus_minus.sh cryptominisat-5.7.1/scripts/reconf/generate_reconf.py cryptominisat-5.7.1/scripts/reconf/reconf.py cryptominisat-5.7.1/scripts/reconf/tocpp.py cryptominisat-5.7.1/scripts/speed-check/ cryptominisat-5.7.1/scripts/speed-check/addclause.py cryptominisat-5.7.1/scripts/starexec/ cryptominisat-5.7.1/scripts/starexec/job.xml cryptominisat-5.7.1/scripts/travis-cmake.sh cryptominisat-5.7.1/scripts/travis-install-cmake.sh cryptominisat-5.7.1/scripts/travis-install-lcov.sh cryptominisat-5.7.1/scripts/xxd-alike.py cryptominisat-5.7.1/sonar-project.properties cryptominisat-5.7.1/src/ cryptominisat-5.7.1/src/CMakeLists.txt cryptominisat-5.7.1/src/EGaussian.cpp cryptominisat-5.7.1/src/EGaussian.h cryptominisat-5.7.1/src/GitSHA1.cpp.in cryptominisat-5.7.1/src/GitSHA1.h cryptominisat-5.7.1/src/MersenneTwister.h cryptominisat-5.7.1/src/Vec.h cryptominisat-5.7.1/src/XAlloc.h cryptominisat-5.7.1/src/alg.h cryptominisat-5.7.1/src/avgcalc.h cryptominisat-5.7.1/src/bitarray.h cryptominisat-5.7.1/src/boundedqueue.h cryptominisat-5.7.1/src/bva.cpp cryptominisat-5.7.1/src/bva.h cryptominisat-5.7.1/src/ccnr.cpp cryptominisat-5.7.1/src/ccnr.h cryptominisat-5.7.1/src/ccnr_cms.cpp cryptominisat-5.7.1/src/ccnr_cms.h cryptominisat-5.7.1/src/clabstraction.h cryptominisat-5.7.1/src/clause.h cryptominisat-5.7.1/src/clauseallocator.cpp cryptominisat-5.7.1/src/clauseallocator.h cryptominisat-5.7.1/src/clausecleaner.cpp cryptominisat-5.7.1/src/clausecleaner.h cryptominisat-5.7.1/src/clausedumper.cpp cryptominisat-5.7.1/src/clausedumper.h cryptominisat-5.7.1/src/clauseusagestats.cpp cryptominisat-5.7.1/src/clauseusagestats.h cryptominisat-5.7.1/src/cloffset.h cryptominisat-5.7.1/src/cnf.cpp cryptominisat-5.7.1/src/cnf.h cryptominisat-5.7.1/src/compfinder.cpp cryptominisat-5.7.1/src/compfinder.h cryptominisat-5.7.1/src/comphandler.cpp cryptominisat-5.7.1/src/comphandler.h cryptominisat-5.7.1/src/completedetachreattacher.cpp cryptominisat-5.7.1/src/completedetachreattacher.h cryptominisat-5.7.1/src/constants.h cryptominisat-5.7.1/src/cryptominisat.cpp cryptominisat-5.7.1/src/cryptominisat.h.in cryptominisat-5.7.1/src/cryptominisat_c.cpp cryptominisat-5.7.1/src/cryptominisat_c.h.in cryptominisat-5.7.1/src/cset.h cryptominisat-5.7.1/src/datasync.cpp cryptominisat-5.7.1/src/datasync.h cryptominisat-5.7.1/src/dimacsparser.h cryptominisat-5.7.1/src/distillerlong.cpp cryptominisat-5.7.1/src/distillerlong.h cryptominisat-5.7.1/src/distillerlongwithimpl.cpp cryptominisat-5.7.1/src/distillerlongwithimpl.h cryptominisat-5.7.1/src/drat.cpp cryptominisat-5.7.1/src/drat.h cryptominisat-5.7.1/src/features_calc.cpp cryptominisat-5.7.1/src/features_calc.h cryptominisat-5.7.1/src/features_to_reconf.cpp cryptominisat-5.7.1/src/features_to_reconf.h cryptominisat-5.7.1/src/fuzz.cpp cryptominisat-5.7.1/src/gatefinder.cpp cryptominisat-5.7.1/src/gatefinder.h cryptominisat-5.7.1/src/gausswatched.h cryptominisat-5.7.1/src/gqueuedata.h cryptominisat-5.7.1/src/hasher.h cryptominisat-5.7.1/src/heap.h cryptominisat-5.7.1/src/hyperengine.cpp cryptominisat-5.7.1/src/hyperengine.h cryptominisat-5.7.1/src/implcache.cpp cryptominisat-5.7.1/src/implcache.h cryptominisat-5.7.1/src/intree.cpp cryptominisat-5.7.1/src/intree.h cryptominisat-5.7.1/src/ipasir.cpp cryptominisat-5.7.1/src/ipasir.h cryptominisat-5.7.1/src/main.cpp cryptominisat-5.7.1/src/main.h cryptominisat-5.7.1/src/main_common.cpp cryptominisat-5.7.1/src/main_common.h cryptominisat-5.7.1/src/main_emscripten.cpp cryptominisat-5.7.1/src/main_exe.cpp cryptominisat-5.7.1/src/main_simple.cpp cryptominisat-5.7.1/src/matrixfinder.cpp cryptominisat-5.7.1/src/matrixfinder.h cryptominisat-5.7.1/src/msvc/ cryptominisat-5.7.1/src/msvc/stdint.h cryptominisat-5.7.1/src/mystack.h cryptominisat-5.7.1/src/nomutex.h cryptominisat-5.7.1/src/occsimplifier.cpp cryptominisat-5.7.1/src/occsimplifier.h cryptominisat-5.7.1/src/packedmatrix.h cryptominisat-5.7.1/src/packedrow.cpp cryptominisat-5.7.1/src/packedrow.h cryptominisat-5.7.1/src/popcnt.h cryptominisat-5.7.1/src/prober.cpp cryptominisat-5.7.1/src/prober.h cryptominisat-5.7.1/src/propby.h cryptominisat-5.7.1/src/propby_backup.h cryptominisat-5.7.1/src/propbyforgraph.h cryptominisat-5.7.1/src/propengine.cpp cryptominisat-5.7.1/src/propengine.h cryptominisat-5.7.1/src/reducedb.cpp cryptominisat-5.7.1/src/reducedb.h cryptominisat-5.7.1/src/sccfinder.cpp cryptominisat-5.7.1/src/sccfinder.h cryptominisat-5.7.1/src/searcher.cpp cryptominisat-5.7.1/src/searcher.h cryptominisat-5.7.1/src/searchhist.h cryptominisat-5.7.1/src/searchstats.cpp cryptominisat-5.7.1/src/searchstats.h cryptominisat-5.7.1/src/shareddata.h cryptominisat-5.7.1/src/signalcode.cpp cryptominisat-5.7.1/src/signalcode.h cryptominisat-5.7.1/src/simplefile.h cryptominisat-5.7.1/src/sls.cpp cryptominisat-5.7.1/src/sls.h cryptominisat-5.7.1/src/solutionextender.cpp cryptominisat-5.7.1/src/solutionextender.h cryptominisat-5.7.1/src/solutionextender_old-cpp cryptominisat-5.7.1/src/solutionextender_old-h cryptominisat-5.7.1/src/solvefeatures.cpp cryptominisat-5.7.1/src/solvefeatures.h cryptominisat-5.7.1/src/solver.cpp cryptominisat-5.7.1/src/solver.h cryptominisat-5.7.1/src/solverconf.cpp cryptominisat-5.7.1/src/solverconf.h cryptominisat-5.7.1/src/solvertypes.h cryptominisat-5.7.1/src/solvertypesmini.h.in cryptominisat-5.7.1/src/sql_tablestructure.h cryptominisat-5.7.1/src/sqlitestats.cpp cryptominisat-5.7.1/src/sqlitestats.h cryptominisat-5.7.1/src/sqlstats.cpp cryptominisat-5.7.1/src/sqlstats.h cryptominisat-5.7.1/src/stamp.cpp cryptominisat-5.7.1/src/stamp.h cryptominisat-5.7.1/src/str_impl_w_impl_stamp.cpp cryptominisat-5.7.1/src/str_impl_w_impl_stamp.h cryptominisat-5.7.1/src/streambuffer.h cryptominisat-5.7.1/src/subsumeimplicit.cpp cryptominisat-5.7.1/src/subsumeimplicit.h cryptominisat-5.7.1/src/subsumestrengthen.cpp cryptominisat-5.7.1/src/subsumestrengthen.h cryptominisat-5.7.1/src/time_mem.h cryptominisat-5.7.1/src/toplevelgauss.cpp cryptominisat-5.7.1/src/toplevelgauss.h cryptominisat-5.7.1/src/toplevelgaussabst.h cryptominisat-5.7.1/src/touchlist.h cryptominisat-5.7.1/src/trim.h cryptominisat-5.7.1/src/vardata.h cryptominisat-5.7.1/src/varreplacer.cpp cryptominisat-5.7.1/src/varreplacer.h cryptominisat-5.7.1/src/varupdatehelper.h cryptominisat-5.7.1/src/walksat.cpp cryptominisat-5.7.1/src/walksat.h cryptominisat-5.7.1/src/watchalgos.h cryptominisat-5.7.1/src/watcharray.h cryptominisat-5.7.1/src/watcharray_handrolled.cpp cryptominisat-5.7.1/src/watcharray_handrolled.h cryptominisat-5.7.1/src/watched.h cryptominisat-5.7.1/src/watched_backup.h cryptominisat-5.7.1/src/xor.h cryptominisat-5.7.1/src/xorfinder.cpp cryptominisat-5.7.1/src/xorfinder.h cryptominisat-5.7.1/src/yals.c cryptominisat-5.7.1/src/yals.h cryptominisat-5.7.1/src/yalsat.cpp cryptominisat-5.7.1/src/yalsat.h cryptominisat-5.7.1/src/yils.h cryptominisat-5.7.1/tests/ cryptominisat-5.7.1/tests/CMakeLists.txt cryptominisat-5.7.1/tests/assump_test.cpp cryptominisat-5.7.1/tests/basic_test.cpp cryptominisat-5.7.1/tests/c_test.c cryptominisat-5.7.1/tests/clause_alloc_test.cpp cryptominisat-5.7.1/tests/clause_cleaner_test.cpp cryptominisat-5.7.1/tests/clause_test.cpp cryptominisat-5.7.1/tests/cnf-files/ cryptominisat-5.7.1/tests/cnf-files/CMakeLists.txt cryptominisat-5.7.1/tests/cnf-files/indep-1.cnf cryptominisat-5.7.1/tests/cnf-files/indep-2.cnf cryptominisat-5.7.1/tests/cnf-files/indep-3.cnf cryptominisat-5.7.1/tests/cnf-files/indep_vars.cnf cryptominisat-5.7.1/tests/cnf-files/indep_vars_2.cnf cryptominisat-5.7.1/tests/cnf-files/lit.cfg cryptominisat-5.7.1/tests/cnf-files/lit.site.cfg.in cryptominisat-5.7.1/tests/cnf-files/reconftest.cnf cryptominisat-5.7.1/tests/cnf-files/simptest.cnf cryptominisat-5.7.1/tests/cnf-files/simptest2.cnf cryptominisat-5.7.1/tests/cnf-files/verbosity.cnf cryptominisat-5.7.1/tests/cnf-files/xor.cnf cryptominisat-5.7.1/tests/cnf-files/xor_longer.cnf cryptominisat-5.7.1/tests/comp_find_test.cpp cryptominisat-5.7.1/tests/comphandler_test.cpp cryptominisat-5.7.1/tests/distill_klee.cpp cryptominisat-5.7.1/tests/distill_long_with_implicit_test.cpp cryptominisat-5.7.1/tests/distiller_all_with_all_test.cpp cryptominisat-5.7.1/tests/dump_test.cpp cryptominisat-5.7.1/tests/gauss_test.cpp cryptominisat-5.7.1/tests/heap_test.cpp cryptominisat-5.7.1/tests/implied_by_test.cpp cryptominisat-5.7.1/tests/intree_test.cpp cryptominisat-5.7.1/tests/ipasir_example.c cryptominisat-5.7.1/tests/ipasir_test.cpp cryptominisat-5.7.1/tests/matrixfinder_test.cpp cryptominisat-5.7.1/tests/multisol_test.cpp cryptominisat-5.7.1/tests/probe_test.cpp cryptominisat-5.7.1/tests/readme_test.cpp cryptominisat-5.7.1/tests/scc_test.cpp cryptominisat-5.7.1/tests/searcher_test.cpp cryptominisat-5.7.1/tests/simp-checks/ cryptominisat-5.7.1/tests/simp-checks/CMakeLists.txt cryptominisat-5.7.1/tests/simp-checks/check_bve.py cryptominisat-5.7.1/tests/simp-checks/simplifiy_testfiles/ cryptominisat-5.7.1/tests/solver_test.cpp cryptominisat-5.7.1/tests/stp_test.cpp cryptominisat-5.7.1/tests/subsume_impl_test.cpp cryptominisat-5.7.1/tests/ternary_resolve_test.cpp cryptominisat-5.7.1/tests/test_helper.h cryptominisat-5.7.1/tests/undefine_test.cpp cryptominisat-5.7.1/tests/vrepl_test.cpp cryptominisat-5.7.1/tests/xor_cnf_tests/ cryptominisat-5.7.1/tests/xorfinder_test.cpp cryptominisat-5.7.1/utils/ cryptominisat-5.7.1/utils/OutputCheck/ cryptominisat-5.7.1/utils/cnf-utils/ cryptominisat-5.7.1/utils/config/ cryptominisat-5.7.1/utils/config/crypt4-params.pcs cryptominisat-5.7.1/utils/drat-trim/ cryptominisat-5.7.1/utils/gtest/ cryptominisat-5.7.1/utils/licensecheck/ cryptominisat-5.7.1/utils/minimal_cms/ cryptominisat-5.7.1/utils/minimal_cms/CMakeLists.txt cryptominisat-5.7.1/utils/minimal_cms/minimal_cms.cpp cryptominisat-5.7.1/utils/minisat/ cryptominisat-5.7.1/utils/minisat_only_elim_and_subsume/ cryptominisat-5.7.1/utils/sha1-sat/ cryptominisat-5.7.1/web/ cryptominisat-5.7.1/web/README.markdown cryptominisat-5.7.1/web/apache-config.conf cryptominisat-5.7.1/web/connect.php cryptominisat-5.7.1/web/drawgraphs.js cryptominisat-5.7.1/web/dygraphs/ cryptominisat-5.7.1/web/file_creator.py cryptominisat-5.7.1/web/get_data.php cryptominisat-5.7.1/web/get_files.php cryptominisat-5.7.1/web/get_gitrevs.php cryptominisat-5.7.1/web/index.html cryptominisat-5.7.1/web/install_web.sh cryptominisat-5.7.1/web/jquery.jqplot.css cryptominisat-5.7.1/web/selectdata.js cryptominisat-5.7.1/web/style.css -- LIB directory is 'lib' -- BIN directory is 'bin' -- Doing a Release build -- The C compiler identification is GNU 11.2.0 -- The CXX compiler identification is GNU 11.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Found Threads: TRUE -- Building with GAUSS enabled at every level -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Compiling for dynamic library use -- GIT hash found: GIT-notfound -- PROJECT_VERSION: 5.7.1 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 7 -- PROJECT_VERSION_PATCH: 1 -- Found Boost: /usr/lib/cmake/Boost-1.78.0/BoostConfig.cmake (found suitable version "1.78.0", minimum required is "1.46") found components: program_options -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/libz.so (found version "1.2.12") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Success -- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.2") -- Could NOT find m4ri (missing: M4RI_LIBRARIES M4RI_INCLUDE_DIRS) -- All defines at startup: -DUSE_GAUSS -DNDEBUG -D_FORTIFY_SOURCE=0 -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here' -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.9.12", minimum required is "3") -- Found PythonLibs: /usr/lib/libpython3.9.so (found suitable version "3.9.12", minimum required is "3") -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3 -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/libpython3.9.so -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.9 -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.9.12 -- Boost -- found at library: Boost::program_options -- Boost -- adding '/usr/lib' to link directories -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wjump-misses-init -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success -- Found python interpreter, libs and header files -- Building python interface -- Python CFLAGS: '-Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall' -- Python LDFLAGS: '-lcrypt -lpthread -ldl -lutil -lm' -- Python LINKFORSHARED flags: '-Xlinker -export-dynamic' -- Python module installation prefix: --prefix=/usr -- Configuring done -- Generating done -- Build files have been written to: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o In file included from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.cpp:24: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] 54 | } | ^ [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o In file included from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solvertypes.h:38, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/propby.h:27, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/propengine.h:35, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/searcher.h:28, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/searcher.cpp:23: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h: In function ‘std::string CMSat::getNameOfRestartType(CMSat::Restart)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h:89:9: warning: control reaches end of non-void function [-Wreturn-type] 89 | default: | ^~~~~~~ [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o In file included from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solvertypes.h:38, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solver.h:34, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solver.cpp:23: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] 54 | } | ^ [ 34%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o [ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o [ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o [ 51%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o [ 53%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o In file included from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/xorfinder.h:33, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/xorfinder.cpp:23: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/xor.h: In member function ‘std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] 37 | class Xor | ^~~ [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o [ 65%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o [ 67%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/EGaussian.cpp.o [ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 81%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o [ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o In file included from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solvertypes.h:38, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solver.h:34, from /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/cryptominisat.cpp:25: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] 54 | } | ^ [ 84%] Linking CXX shared library ../lib/libcryptominisat5.so [ 84%] Built target cryptominisat5 [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o [ 89%] Linking CXX executable ../cryptominisat5_simple [ 89%] Built target cryptominisat5_simple-bin [ 89%] Built target man_cms5_simple [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 93%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [ 98%] Linking CXX executable ../cryptominisat5 [ 98%] Built target cryptominisat5-bin [ 98%] Built target man_cms5 Copying cryptominisat_c.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying cryptominisat.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying solvertypesmini.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying dimacsparser.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying streambuffer.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 [ 98%] Built target CopyPublicHeaders [100%] Generating build/timestamp running build_ext building 'pycryptosat' extension creating build creating build/temp.linux-i686-3.9 creating build/temp.linux-i686-3.9/usr creating build/temp.linux-i686-3.9/usr/src creating build/temp.linux-i686-3.9/usr/src/slapt-src creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1 creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat creating build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -fPIC -DLIBRARY_VERSION="5.7.1" -I/usr/include/python3.9 -c /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -I/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1 -I/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/cmsat5-src /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘void setup_solver(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:229:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 229 | if (var >= self->cmsat->nVars()) { | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clause(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clauses(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:680:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 680 | if (var >= cmsat->nVars()) { | ~~~~^~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* solve(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* msolve_selected(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: At global scope: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] 1046 | }; | ^ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_alloc’ [-Wmissing-field-initializers] 1106 | }; | ^ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_new’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_free’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_is_gc’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_bases’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_mro’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_cache’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_subclasses’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_weaklist’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_del’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_version_tag’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_finalize’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_vectorcall’ [-Wmissing-field-initializers] /usr/bin/c++ -pthread -shared build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.o -L. -L/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/lib -L/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/lib/Release -L/usr/lib -Wl,--enable-new-dtags,-R/usr/lib -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/pycryptosat.cpython-39-i386-linux-gnu.so [100%] Built target python_interface Consolidate compiler generated dependencies of target cryptominisat5 [ 84%] Built target cryptominisat5 Consolidate compiler generated dependencies of target cryptominisat5_simple-bin [ 89%] Built target cryptominisat5_simple-bin [ 89%] Built target man_cms5_simple Consolidate compiler generated dependencies of target cryptominisat5-bin [ 98%] Built target cryptominisat5-bin [ 98%] Built target man_cms5 Copying cryptominisat_c.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying cryptominisat.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying solvertypesmini.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying dimacsparser.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 Copying streambuffer.h to /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/include/cryptominisat5 [ 98%] Built target CopyPublicHeaders [100%] Generating build/timestamp running build_ext [100%] Built target python_interface Install the project... -- Install configuration: "Release" -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/man/man1/cryptominisat5.1 -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/man/man1/cryptominisat5_simple.1 -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/libcryptominisat5.so.5.7 -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/libcryptominisat5.so -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/include/cryptominisat5/cryptominisat.h -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/include/cryptominisat5/dimacsparser.h -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/include/cryptominisat5/streambuffer.h -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/bin/cryptominisat5_simple -- Set runtime path of "/usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/bin/cryptominisat5_simple" to "" -- Installing: /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/bin/cryptominisat5 -- Set runtime path of "/usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/bin/cryptominisat5" to "" running install running build running build_ext building 'pycryptosat' extension /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -fPIC -DLIBRARY_VERSION="5.7.1" -I/usr/include/python3.9 -c /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -I/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1 -I/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/cmsat5-src /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘void setup_solver(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:229:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 229 | if (var >= self->cmsat->nVars()) { | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clause(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_clauses(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:680:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 680 | if (var >= cmsat->nVars()) { | ~~~~^~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* solve(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: In function ‘PyObject* msolve_selected(Solver*, PyObject*, PyObject*)’: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp: At global scope: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*)’ {aka ‘_object* (*)(Solver*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from ‘PyObject* (*)(Solver*, PyObject*, PyObject*)’ {aka ‘_object* (*)(Solver*, _object*, _object*)’} to ‘PyCFunction’ {aka ‘_object* (*)(_object*, _object*)’} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] 1046 | }; | ^ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_alloc’ [-Wmissing-field-initializers] 1106 | }; | ^ /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_new’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_free’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_is_gc’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_bases’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_mro’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_cache’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_subclasses’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_weaklist’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_del’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_version_tag’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_finalize’ [-Wmissing-field-initializers] /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member ‘_typeobject::tp_vectorcall’ [-Wmissing-field-initializers] creating build/lib.linux-i686-3.9 /usr/bin/c++ -pthread -shared build/temp.linux-i686-3.9/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/pycryptosat/src/pycryptosat.o -L. -L/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/lib -L/usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1/build/lib/Release -L/usr/lib -Wl,--enable-new-dtags,-R/usr/lib -lcryptominisat5 -o build/lib.linux-i686-3.9/pycryptosat.cpython-39-i386-linux-gnu.so running install_lib creating /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/python3.9 creating /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/python3.9/site-packages copying build/lib.linux-i686-3.9/pycryptosat.cpython-39-i386-linux-gnu.so -> /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/python3.9/site-packages running install_egg_info Writing /usr/src/slapt-src/academic/cryptominisat/package-cryptominisat/usr/lib/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info writing list of installed files to 'files.txt' Slackware package maker, version 3.14159265. Searching for symbolic links: usr/lib/libcryptominisat5.so libcryptominisat5.so.5.7 Making symbolic link creation script: ( cd usr/lib ; rm -rf libcryptominisat5.so ) ( cd usr/lib ; ln -sf libcryptominisat5.so.5.7 libcryptominisat5.so ) It is recommended that you make these lines your new installation script. Would you like to make this stuff the install script for this package and remove the symbolic links ([y]es, [n]o)? y Removing symbolic links: removed './usr/lib/libcryptominisat5.so' Creating your new ./install/doinst.sh... This next step is optional - you can set the directories in your package to some sane permissions. If any of the directories in your package have special permissions, then DO NOT reset them here! Would you like to reset all directory permissions to 755 (drwxr-xr-x) and directory ownerships to root.root ([y]es, [n]o)? n Creating Slackware package: /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1-i586-1salix15.0.txz ./ install/ install/doinst.sh install/slack-desc usr/ usr/bin/ usr/bin/cryptominisat5 usr/bin/cryptominisat5_simple usr/doc/ usr/doc/cryptominisat-5.7.1/ usr/doc/cryptominisat-5.7.1/AUTHORS usr/doc/cryptominisat-5.7.1/LICENSE.txt usr/doc/cryptominisat-5.7.1/README.markdown usr/doc/cryptominisat-5.7.1/cryptominisat.SlackBuild usr/include/ usr/include/cryptominisat5/ usr/include/cryptominisat5/cryptominisat.h usr/include/cryptominisat5/cryptominisat_c.h usr/include/cryptominisat5/dimacsparser.h usr/include/cryptominisat5/solvertypesmini.h usr/include/cryptominisat5/streambuffer.h usr/lib/ usr/lib/cmake/ usr/lib/cmake/cryptominisat5/ usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake usr/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake usr/lib/libcryptominisat5.so.5.7 usr/lib/python3.9/ usr/lib/python3.9/site-packages/ usr/lib/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info usr/lib/python3.9/site-packages/pycryptosat.cpython-39-i386-linux-gnu.so usr/man/ usr/man/man1/ usr/man/man1/cryptominisat5.1.gz usr/man/man1/cryptominisat5_simple.1.gz Slackware package /usr/src/slapt-src/academic/cryptominisat/cryptominisat-5.7.1-i586-1salix15.0.txz created. Installing package cryptominisat-5.7.1-i586-1salix15.0... | cryptominisat (SAT solver) | | This system provides CryptoMiniSat, an advanced SAT solver. The system | has 3 interfaces: command-line, C++ library and python. The | command-line interface takes a cnf as an input in the DIMACS format | with the extension of XOR clauses. The C++ interface mimics this | except that it allows for a more efficient system, with assumptions | and multiple solve() calls. A C compatible wrapper is also | provided. The python interface provides a high-level yet efficient API | to use most of the C++ interface with ease. | | |