{"id":16662267,"url":"https://github.com/arademaker/hemera","last_synced_at":"2025-04-09T18:52:39.303Z","repository":{"id":617842,"uuid":"256726","full_name":"arademaker/hemera","owner":"arademaker","description":"Yet another simple theorem prover","archived":false,"fork":false,"pushed_at":"2020-03-11T14:49:18.000Z","size":5338,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-23T20:51:15.030Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://www.tecmf.inf.puc-rio.br","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/arademaker.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2009-07-21T13:20:51.000Z","updated_at":"2020-07-24T14:28:52.000Z","dependencies_parsed_at":"2022-07-05T03:32:04.297Z","dependency_job_id":null,"html_url":"https://github.com/arademaker/hemera","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arademaker%2Fhemera","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arademaker%2Fhemera/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arademaker%2Fhemera/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arademaker%2Fhemera/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/arademaker","download_url":"https://codeload.github.com/arademaker/hemera/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248093099,"owners_count":21046619,"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":[],"created_at":"2024-10-12T10:37:27.164Z","updated_at":"2025-04-09T18:52:39.266Z","avatar_url":"https://github.com/arademaker.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n* Install\n\nHemera depends on the following libraries:\n\n * ply 2.3 (or superior)\n * pygraphviz (or superior)\n\n\nPly: this library is easy to install, the library can be founded in\nlib subdirectory.\n\nPygraphviz: in the past, it was a little bit more complicated!! But it\nseems that from now on we just need to run:\n\neasy_install pygraphviz\n\n* PyGraphviz: old installation procedure\n\n\nIn the past, for Mac OS system we have followed the procedure discribed in:\nhttp://groups.google.com/group/pygraphviz-discuss/browse_thread/thread/f3b385409bb66420?pli=1\n\nThe pygraphviz library in lib directory was downloaded from\nhttp://networkx.lanl.gov/download/pygraphviz/\n\nAnd the graphviz package from:\nhttp://graphviz.org/pub/graphviz/development/macos/leopard/\n\nFinnaly, we edited the setup.py from the pygraphviz adding the correct\nlocation of libraries (in the beggining of the file):\n\n# Mac OS X (pkg from ATT)\nlibrary_path='/usr/local/lib'\ninclude_path='/usr/local/include/graphviz'\n\n\n* Pending\n\n\n1. The initial sequent should be listed before cleaning the goals. \n2. Improve the parser to consider cases like \"a --\u003e a --\u003e a\". \n\n\n* Making the distro\n\npython setup.py sdist\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Farademaker%2Fhemera","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Farademaker%2Fhemera","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Farademaker%2Fhemera/lists"}