Copyrights and Licenses Information
path start end what value
python-pysmt/python-pysmt.spec 8 8 license apache-2.0
python-pysmt/pysmt-0.9.5/CONTRIBUTING 2 2 license generic-cla
python-pysmt/pysmt-0.9.5/install.py 5 15 license apache-2.0
python-pysmt/pysmt-0.9.5/LICENSE 2 202 license apache-2.0
python-pysmt/pysmt-0.9.5/NOTICE 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/README.rst 22 23 license apache-2.0
python-pysmt/pysmt-0.9.5/README.rst 261 261 license apache-2.0
python-pysmt/pysmt-0.9.5/run_all_tests.sh 7 17 license apache-2.0
python-pysmt/pysmt-0.9.5/run_tests.sh 7 17 license apache-2.0
python-pysmt/pysmt-0.9.5/setup.py 57 57 license apache-2.0
python-pysmt/pysmt-0.9.5/shell.py 7 17 license apache-2.0
python-pysmt/pysmt-0.9.5/docs/development.rst 10 10 license apache-2.0
python-pysmt/pysmt-0.9.5/docs/development.rst 10 10 license unknown-license-reference
python-pysmt/pysmt-0.9.5/docs/development.rst 16 46 license dco-1.1
python-pysmt/pysmt-0.9.5/pysmt/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/__main__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/configuration.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/constants.py 4 14 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/decorators.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/environment.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/exceptions.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/factory.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/fnode.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/formula.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/logics.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/operators.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/oracles.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/parsing.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/printers.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/rewritings.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/shortcuts.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/simplifier.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/substituter.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/type_checker.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/typing.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/utils.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/check_version.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/install.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/shell.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/__init__.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/base.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/bdd.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/btor.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/cvc4.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/msat.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/pico.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/yices.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/z3.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/annotations.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/commands.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/printers.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/script.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/solver.py 3 13 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/utils.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/parser/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/smtlib/parser/parser.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/bdd.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/btor.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/cvc4.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/eager.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/interpolation.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/msat.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/options.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/pico.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/portfolio.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/qelim.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/smtlib.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/solver.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/yices.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/solvers/z3.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/examples.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_array.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_back.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_bdd.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_bv.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_bv_simplification.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_cnf.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_configuration.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_constants.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_cvc4_quantifiers.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_dwf.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_eager_model.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_env.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_euf.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_formula.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_hr_parsing.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_imports.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_int.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_interpolation.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_lira.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_logics.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_models.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_native_qe.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_nia.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_nlira.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_oracles.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_portfolio.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_printing.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_qe.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_regressions.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_rewritings.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_shannon_expansion.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_simplify.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_size.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_solving.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_sorts.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_string.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_typechecker.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_unsat_cores.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_walker_ext.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/test_walkers.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/parser_utils.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_annotations.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_fuzzed.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_generic_wrapper.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_griggio.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_model_validation.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_examples.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_extensibility.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_lra.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_arrays.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lia.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lira.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lra.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_nia.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_nra.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_uf.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_ufbv.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_type_error.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_smtlibscript.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/NOTICE 9 25 license mit
python-pysmt/pysmt-0.9.5/pysmt/walkers/__init__.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/walkers/dag.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/walkers/generic.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/walkers/identitydag.py 6 16 license apache-2.0
python-pysmt/pysmt-0.9.5/pysmt/walkers/tree.py 6 16 license apache-2.0
File Information
path type name extension date size sha1 md5 files_count mime_type file_type programming_language is_binary is_text is_archive is_media is_source is_script
python-pysmt directory
python-pysmt/pysmt-0.9.5-SPECPARTS directory
python-pysmt/PySMT-0.9.5.tar.gz file
python-pysmt/python-pysmt.spec file
python-pysmt/README.md file
python-pysmt/sources file
python-pysmt/pysmt-0.9.5 directory
python-pysmt/pysmt-0.9.5/.coveragerc file
python-pysmt/pysmt-0.9.5/.landscape.yaml file
python-pysmt/pysmt-0.9.5/.mailmap file
python-pysmt/pysmt-0.9.5/CONTRIBUTING file
python-pysmt/pysmt-0.9.5/CONTRIBUTORS file
python-pysmt/pysmt-0.9.5/dev-requirements.txt file
python-pysmt/pysmt-0.9.5/install.py file
python-pysmt/pysmt-0.9.5/LICENSE file
python-pysmt/pysmt-0.9.5/make_distrib.sh file
python-pysmt/pysmt-0.9.5/MANIFEST.in file
python-pysmt/pysmt-0.9.5/NOTICE file
python-pysmt/pysmt-0.9.5/pytest.ini file
python-pysmt/pysmt-0.9.5/README.rst file
python-pysmt/pysmt-0.9.5/run_all_tests.sh file
python-pysmt/pysmt-0.9.5/run_tests.sh file
python-pysmt/pysmt-0.9.5/setup.py file
python-pysmt/pysmt-0.9.5/shell.py file
python-pysmt/pysmt-0.9.5/.github directory
python-pysmt/pysmt-0.9.5/.github/pull_request_template.md file
python-pysmt/pysmt-0.9.5/.github/workflows directory
python-pysmt/pysmt-0.9.5/.github/workflows/cla.yml file
python-pysmt/pysmt-0.9.5/.github/workflows/test.yml file
python-pysmt/pysmt-0.9.5/ci directory
python-pysmt/pysmt-0.9.5/ci/check_python_version.py file
python-pysmt/pysmt-0.9.5/ci/cla.sh file
python-pysmt/pysmt-0.9.5/ci/install.sh file
python-pysmt/pysmt-0.9.5/ci/install_unix.sh file
python-pysmt/pysmt-0.9.5/ci/install_win.sh file
python-pysmt/pysmt-0.9.5/ci/run.sh file
python-pysmt/pysmt-0.9.5/docs directory
python-pysmt/pysmt-0.9.5/docs/api_ref.rst file
python-pysmt/pysmt-0.9.5/docs/architecture.svg file
python-pysmt/pysmt-0.9.5/docs/CHANGES.rst file
python-pysmt/pysmt-0.9.5/docs/conf.py file
python-pysmt/pysmt-0.9.5/docs/development.rst file
python-pysmt/pysmt-0.9.5/docs/getting_started.rst file
python-pysmt/pysmt-0.9.5/docs/index.rst file
python-pysmt/pysmt-0.9.5/docs/tutorials.rst file
python-pysmt/pysmt-0.9.5/docs/code_snippets directory
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world.py file
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world_get_model.py file
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world_infix.py file
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world_is_sat.py file
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world_opening.py file
python-pysmt/pysmt-0.9.5/docs/code_snippets/hello_world_qf_lia.py file
python-pysmt/pysmt-0.9.5/docs/tutorials directory
python-pysmt/pysmt-0.9.5/docs/tutorials/boolean_logic.rst file
python-pysmt/pysmt-0.9.5/examples directory
python-pysmt/pysmt-0.9.5/examples/allsat.py file
python-pysmt/pysmt-0.9.5/examples/allsmt.py file
python-pysmt/pysmt-0.9.5/examples/basic.py file
python-pysmt/pysmt-0.9.5/examples/combine_solvers.py file
python-pysmt/pysmt-0.9.5/examples/efsmt.py file
python-pysmt/pysmt-0.9.5/examples/einstein.py file
python-pysmt/pysmt-0.9.5/examples/generic_smtlib.py file
python-pysmt/pysmt-0.9.5/examples/infix_notation.py file
python-pysmt/pysmt-0.9.5/examples/ltl.py file
python-pysmt/pysmt-0.9.5/examples/model_checking.py file
python-pysmt/pysmt-0.9.5/examples/parallel.py file
python-pysmt/pysmt-0.9.5/examples/portfolio.py file
python-pysmt/pysmt-0.9.5/examples/puzzle.py file
python-pysmt/pysmt-0.9.5/examples/qe.py file
python-pysmt/pysmt-0.9.5/examples/README.rst file
python-pysmt/pysmt-0.9.5/examples/smtlib.py file
python-pysmt/pysmt-0.9.5/examples/strings.py file
python-pysmt/pysmt-0.9.5/examples/theory_combination.py file
python-pysmt/pysmt-0.9.5/examples/xor.py file
python-pysmt/pysmt-0.9.5/examples/sudoku directory
python-pysmt/pysmt-0.9.5/examples/sudoku/gui.py file
python-pysmt/pysmt-0.9.5/examples/sudoku/README.rst file
python-pysmt/pysmt-0.9.5/examples/sudoku/sudoku.py file
python-pysmt/pysmt-0.9.5/examples/sudoku/problems directory
python-pysmt/pysmt-0.9.5/examples/sudoku/problems/p1.sudoku file
python-pysmt/pysmt-0.9.5/examples/sudoku/problems/p2.sudoku file
python-pysmt/pysmt-0.9.5/examples/sudoku/problems/p3.sudoku file
python-pysmt/pysmt-0.9.5/pysmt directory
python-pysmt/pysmt-0.9.5/pysmt/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/__main__.py file
python-pysmt/pysmt-0.9.5/pysmt/configuration.py file
python-pysmt/pysmt-0.9.5/pysmt/constants.py file
python-pysmt/pysmt-0.9.5/pysmt/decorators.py file
python-pysmt/pysmt-0.9.5/pysmt/environment.py file
python-pysmt/pysmt-0.9.5/pysmt/exceptions.py file
python-pysmt/pysmt-0.9.5/pysmt/factory.py file
python-pysmt/pysmt-0.9.5/pysmt/fnode.py file
python-pysmt/pysmt-0.9.5/pysmt/formula.py file
python-pysmt/pysmt-0.9.5/pysmt/logics.py file
python-pysmt/pysmt-0.9.5/pysmt/operators.py file
python-pysmt/pysmt-0.9.5/pysmt/oracles.py file
python-pysmt/pysmt-0.9.5/pysmt/parsing.py file
python-pysmt/pysmt-0.9.5/pysmt/printers.py file
python-pysmt/pysmt-0.9.5/pysmt/rewritings.py file
python-pysmt/pysmt-0.9.5/pysmt/shortcuts.py file
python-pysmt/pysmt-0.9.5/pysmt/simplifier.py file
python-pysmt/pysmt-0.9.5/pysmt/substituter.py file
python-pysmt/pysmt-0.9.5/pysmt/type_checker.py file
python-pysmt/pysmt-0.9.5/pysmt/typing.py file
python-pysmt/pysmt-0.9.5/pysmt/utils.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd directory
python-pysmt/pysmt-0.9.5/pysmt/cmd/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/check_version.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/install.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/shell.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers directory
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/base.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/bdd.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/btor.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/cvc4.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/msat.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/pico.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/yices.py file
python-pysmt/pysmt-0.9.5/pysmt/cmd/installers/z3.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib directory
python-pysmt/pysmt-0.9.5/pysmt/smtlib/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/annotations.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/commands.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/printers.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/script.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/solver.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/utils.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/parser directory
python-pysmt/pysmt-0.9.5/pysmt/smtlib/parser/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/smtlib/parser/parser.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers directory
python-pysmt/pysmt-0.9.5/pysmt/solvers/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/bdd.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/btor.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/cvc4.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/eager.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/interpolation.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/msat.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/options.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/pico.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/portfolio.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/qelim.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/smtlib.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/solver.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/yices.py file
python-pysmt/pysmt-0.9.5/pysmt/solvers/z3.py file
python-pysmt/pysmt-0.9.5/pysmt/test directory
python-pysmt/pysmt-0.9.5/pysmt/test/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/test/examples.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_array.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_back.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_bdd.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_bv.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_bv_simplification.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_cnf.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_configuration.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_constants.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_cvc4_quantifiers.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_dwf.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_eager_model.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_env.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_euf.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_formula.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_hr_parsing.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_imports.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_int.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_interpolation.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_lira.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_logics.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_models.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_native_qe.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_nia.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_nlira.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_oracles.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_portfolio.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_printing.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_qe.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_regressions.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_rewritings.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_shannon_expansion.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_simplify.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_size.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_solving.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_sorts.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_string.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_typechecker.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_unsat_cores.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_walker_ext.py file
python-pysmt/pysmt-0.9.5/pysmt/test/test_walkers.py file
python-pysmt/pysmt-0.9.5/pysmt/test/configs directory
python-pysmt/pysmt-0.9.5/pysmt/test/configs/config1.ini file
python-pysmt/pysmt-0.9.5/pysmt/test/configs/config_bad.ini file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/parser_utils.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_annotations.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_fuzzed.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_generic_wrapper.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_griggio.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_model_validation.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_examples.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_extensibility.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_lra.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_arrays.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lia.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lira.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_lra.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_nia.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_nra.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_uf.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_qf_ufbv.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_parser_type_error.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/test_smtlibscript.py file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/bin directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/bin/mathsat.solver.sh.template file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/bin/README file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/bin/yices.solver.sh.template file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/bin/z3.solver.sh.template file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/AUFLIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/AUFLIRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/AUFNIRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/NOTICE file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_AUFBV.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_AUFLIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_AX.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_BV.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_IDL.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_LIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_LRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_NIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_NRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_RDL.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UF.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFBV.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFIDL.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFLIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFLRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFNIA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFNRA.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/fuzzed/QF_UFRDL.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/NOTICE file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test1.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test2.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test3.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test4.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test5.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/griggio/test6.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/BV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/BV/AR-fixpoint-1.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/BV/audio_ac97_common.cpp.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/intersection-example-simple.proof-node394346.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/intersection-example-simple.proof-node679466.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/water_tank-node21140.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/water_tank-node22228.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/water_tank-node24658.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/LRA/water_tank-node9350.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/negative directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/negative/wrong1.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ABV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ABV/a268test0002.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ABV/com.galois.ecc.P384ECC64.group_add6.short.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ALIA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ALIA/ios_t1_ios_np_sf_ai_00001_001.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_ALIA/pointer-invalid-15.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_AUFBV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_AUFBV/com.galois.ecc.P384ECC64.mod_div10.short.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_AUFLIA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_AUFLIA/array_incompleteness1.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_AUFLIA/swap_invalid_t1_pp_nf_ai_00002_002.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV/bench_4631.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV/bench_4631_simp.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV/bench_5200.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV/bench_9457.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_BV/bench_9457_simp.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/issue_159.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-20-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-21-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-22-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-23-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-23-47.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-24-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-24-47.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-24-48.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-25-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-25-47.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-25-48.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIA/prp-25-49.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIRA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIRA/lira1.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LIRA/prp-20-46.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_11nodes.abstract.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_12nodes.synchro.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_14nodes.abstract.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_14nodes.synchro.induct.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_15nodes.abstract.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_3nodes.bug.induct.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_4nodes.synchro.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_8nodes.missing.induct.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_8nodes.synchro.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_8nodes.synchro.induct.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/simple_startup_9nodes.abstract.base.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-10.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-11.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-14.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-16.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-18.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-26.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-6.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_LRA/uart-8.induction.cvc.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NIA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NIA/aproveSMT3509292547826641386.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NIA/problem-000158.cvc.2.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NIA/term-DtOD2C.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NRA directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NRA/ball_count_2d_hill_simple.05.redlog_global_6.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NRA/cos-problem-12-chunk-0004.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_NRA/simple_ballistics_reach.01.seq_lazy_linear_enc_global_10.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_UF directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_UF/test0.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_UFBV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_UFBV/btfnt_atlas_out.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/QF_UFBV/calc2_sec2_bmc10.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/UFBV directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/UFBV/small-seq-fixpoint-10.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/UFBV/small-swap2-fixpoint-5.smt2.bz2 file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/vmt directory
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/vmt/c432_0f.vmt file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/vmt/c432_1f.vmt file
python-pysmt/pysmt-0.9.5/pysmt/test/smtlib/small_set/vmt/c432_n.vmt file
python-pysmt/pysmt-0.9.5/pysmt/walkers directory
python-pysmt/pysmt-0.9.5/pysmt/walkers/__init__.py file
python-pysmt/pysmt-0.9.5/pysmt/walkers/dag.py file
python-pysmt/pysmt-0.9.5/pysmt/walkers/generic.py file
python-pysmt/pysmt-0.9.5/pysmt/walkers/identitydag.py file
python-pysmt/pysmt-0.9.5/pysmt/walkers/tree.py file
python-pysmt/pysmt-0.9.5/SMT-LIB directory
python-pysmt/pysmt-0.9.5/SMT-LIB/parse_all.py file
python-pysmt/pysmt-0.9.5/SMT-LIB/parse_and_print.py file
Holders
path holder start end
Authors
path Author start end
Emails
path email start end
Urls
path url start end
License References
key short_name category owner scancode_url licensedb_url homepage_url text_urls spdx_license_key spdx_url
apache-2.0 Apache 2.0 Permissive Apache Software Foundation https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/apache-2.0.LICENSE https://scancode-licensedb.aboutcode.org/apache-2.0 http://www.apache.org/licenses/ http://www.apache.org/licenses/LICENSE-2.0 Apache-2.0 https://spdx.org/licenses/Apache-2.0
dco-1.1 DCO 1.1 CLA Linux Foundation https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/dco-1.1.LICENSE https://scancode-licensedb.aboutcode.org/dco-1.1 https://developercertificate.org/ https://developercertificate.org/ LicenseRef-scancode-dco-1.1 https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/dco-1.1.LICENSE
generic-cla Generic CLA CLA Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/generic-cla.LICENSE https://scancode-licensedb.aboutcode.org/generic-cla None LicenseRef-scancode-generic-cla https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/generic-cla.LICENSE
gpl-1.0-plus GPL 1.0 or later Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/gpl-1.0-plus.LICENSE https://scancode-licensedb.aboutcode.org/gpl-1.0-plus http://www.gnu.org/licenses/old-licenses/gpl-1.0-standalone.html http://www.gnu.org/licenses/old-licenses/gpl-1.0-standalone.html GPL-1.0-or-later https://spdx.org/licenses/GPL-1.0-or-later
mit MIT License Permissive MIT https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit.LICENSE https://scancode-licensedb.aboutcode.org/mit http://opensource.org/licenses/mit-license.php http://opensource.org/licenses/mit-license.php MIT https://spdx.org/licenses/MIT
unknown-license-reference Unknown License reference Unstated License Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE https://scancode-licensedb.aboutcode.org/unknown-license-reference None LicenseRef-scancode-unknown-license-reference https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE