{"id":15048001,"url":"https://github.com/casm-lang/libtptp","last_synced_at":"2025-09-20T23:55:17.559Z","repository":{"id":51328108,"uuid":"107157265","full_name":"casm-lang/libtptp","owner":"casm-lang","description":"Thousands of Problems for Theorem Provers Library","archived":false,"fork":false,"pushed_at":"2024-01-29T20:34:30.000Z","size":1653,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-28T08:45:02.175Z","etag":null,"topics":["automated","cpp-library","cpp11","libtptp","proving","theorem"],"latest_commit_sha":null,"homepage":"","language":"C++","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/casm-lang.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-10-16T17:00:26.000Z","updated_at":"2024-02-06T15:17:35.000Z","dependencies_parsed_at":"2023-02-18T16:46:06.190Z","dependency_job_id":null,"html_url":"https://github.com/casm-lang/libtptp","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibtptp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibtptp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibtptp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/casm-lang%2Flibtptp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/casm-lang","download_url":"https://codeload.github.com/casm-lang/libtptp/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243489778,"owners_count":20298997,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["automated","cpp-library","cpp11","libtptp","proving","theorem"],"created_at":"2024-09-24T21:06:45.424Z","updated_at":"2025-09-20T23:55:12.496Z","avatar_url":"https://github.com/casm-lang.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# \n#   Copyright (C) 2017-2024 CASM Organization \u003chttps://casm-lang.org\u003e\n#   All rights reserved.\n# \n#   Developed by: Philipp Paulweber et al.\n#   \u003chttps://github.com/casm-lang/libtptp/graphs/contributors\u003e\n# \n#   This file is part of libtptp.\n# \n#   libtptp is free software: you can redistribute it and/or modify\n#   it under the terms of the GNU General Public License as published by\n#   the Free Software Foundation, either version 3 of the License, or\n#   (at your option) any later version.\n# \n#   libtptp is distributed in the hope that it will be useful,\n#   but WITHOUT ANY WARRANTY; without even the implied warranty of\n#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n#   GNU General Public License for more details.\n# \n#   You should have received a copy of the GNU General Public License\n#   along with libtptp. If not, see \u003chttp://www.gnu.org/licenses/\u003e.\n# \n#   Additional permission under GNU GPL version 3 section 7\n# \n#   libtptp is distributed under the terms of the GNU General Public License\n#   with the following clarification and special exception: Linking libtptp\n#   statically or dynamically with other modules is making a combined work\n#   based on libtptp. Thus, the terms and conditions of the GNU General\n#   Public License cover the whole combination. As a special exception,\n#   the copyright holders of libtptp give you permission to link libtptp\n#   with independent modules to produce an executable, regardless of the\n#   license terms of these independent modules, and to copy and distribute\n#   the resulting executable under terms of your choice, provided that you\n#   also meet, for each linked independent module, the terms and conditions\n#   of the license of that module. An independent module is a module which\n#   is not derived from or based on libtptp. If you modify libtptp, you\n#   may extend this exception to your version of the library, but you are\n#   not obliged to do so. If you do not wish to do so, delete this exception\n#   statement from your version.\n# \n\n#+begin_html\n\u003ch4\u003e\n⚠️\nThis repository has been archived and its development work moved to the\n\u003ca href=\"https://github.com/sealangdotorg/sea\"\u003eSEA language\u003c/a\u003e project.\n\u003chr\u003e\n\u003c/h4\u003e\n#+end_html\n\n[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]\n\n#+options: toc:nil\n\n\n* libtptp: Thousands of Problems for Theorem Provers Library\n\n[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q\u0026A-blue.svg?logo=github]]\n[[https://github.com/casm-lang/libtptp/actions?query=workflow%3Abuild][https://github.com/casm-lang/libtptp/workflows/build/badge.svg]]\n[[https://github.com/casm-lang/libtptp/actions?query=workflow%3Anightly][https://github.com/casm-lang/libtptp/workflows/nightly/badge.svg]]\n[[https://codecov.io/gh/casm-lang/libtptp][https://codecov.io/gh/casm-lang/libtptp/badge.svg]]\n[[https://github.com/casm-lang/libtptp/tags][https://img.shields.io/github/tag/casm-lang/libtptp.svg?logo=github\u0026sort=semver]]\n[[https://github.com/casm-lang/libtptp/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3%2BLE-blue.svg?logo=gnu]]\n\n\nTBD\n\n** Copyright and License\n\nThe copyright holder of \n=libtptp= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]]) \nand the used license of \n=libtptp= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3+]]\nwith an additional permission (\"GPL Linking Exception\").\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Flibtptp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcasm-lang%2Flibtptp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcasm-lang%2Flibtptp/lists"}