{"id":25387222,"url":"https://github.com/llvmparty/smtlib2parser","last_synced_at":"2025-10-30T15:30:54.307Z","repository":{"id":262429346,"uuid":"885982258","full_name":"LLVMParty/smtlib2parser","owner":"LLVMParty","description":null,"archived":false,"fork":false,"pushed_at":"2024-11-26T10:14:20.000Z","size":121,"stargazers_count":3,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2024-11-26T11:26:09.889Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://es-static.fbk.eu/people/griggio/misc/smtlib2parser.html","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LLVMParty.png","metadata":{"files":{"readme":"README.txt","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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-11-09T21:52:47.000Z","updated_at":"2024-11-26T10:14:24.000Z","dependencies_parsed_at":null,"dependency_job_id":"3f0f4909-c402-4592-95a0-cb55ead7ac05","html_url":"https://github.com/LLVMParty/smtlib2parser","commit_stats":null,"previous_names":["llvmparty/smtlib2parser"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LLVMParty%2Fsmtlib2parser","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LLVMParty%2Fsmtlib2parser/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LLVMParty%2Fsmtlib2parser/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LLVMParty%2Fsmtlib2parser/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LLVMParty","download_url":"https://codeload.github.com/LLVMParty/smtlib2parser/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":238987556,"owners_count":19563758,"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":"2025-02-15T11:34:48.005Z","updated_at":"2025-10-30T15:30:48.934Z","avatar_url":"https://github.com/LLVMParty.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"A Generic Parser for SMT-LIB v2\n===============================\n\nAlberto Griggio \u003cgriggio@fbk.eu\u003e\n\n\nThis is a (complete, I think) parser/lexer for the SMT-LIB v2 language,\nimplemented in Flex, Bison and C99, released under the MIT license (see\nLICENSE.txt). Besides a grammar and an abstract interface for implementing\nbackends, a sample implementation using the Yices 1 solver\n(http://yices.csl.sri.com) is provided. The implementation is not 100%\ncomplete, but it should be enough for understanding how the interface is\nsupposed to work.\n\n\nREQUIREMENTS: \n-------------              \n\n- a C99 compiler (tested only under gcc), \n- GNU flex \u003e= 2.5.33\n- GNU bison (tested under bison 2.4.1)\n\nFor compiling, copy Makefile.in to Makefile, edit the compilation flags and\nthe YICES_DIR variable, and run make\n\n\nCONTENTS:\n---------\n\nLICENSE.txt: \n  the license file\n\nMakefile.in: \n  Makefile template\n\nsmtlib2parserinterface.h:\n  abstract interface for implementing backends to the parser\n\nsmtlib2abstractparser.h, smtlib2abstractparser.c: \n  an abstract implementation of the parser interface, providing default\n  implementation for the callbacks and support for parsing terms  \n\nsmtlib2abstractparser_private.h:\n  \"protected\" part of the abstract parser\n\nsmtlib2bisonparser.y:\n  Bison grammar for the SMT-LIB v2 language, defining a re-entrant parser\n\nsmtlib2flexlexer.l:\n  Flex definitions for a re-entrant SMT-LIB v2 lexical scanner\n\nsmtlib2termparser.c, smtlib2termparser.h:\n  helper class for parsing terms and managing let bindings and definitions\n\nsmtlib2charbuf.h, smtlib2charbuf.c, smtlib2genvector.h, smtlib2hashtable.c, \nsmtlib2hashtable.h, smtlib2scanner.c, smtlib2scanner.h, smtlib2stream.c,\nsmtlib2stream.h, smtlib2types.h, smtlib2utils.c, smtlib2utils.h, \nsmtlib2vector.c, smtlib2vector.h:\n  several utility data structures and functions\n\nsmtlib2yices.c, smtlib2yices.h, main.c: \n  example backend using the Yices 1 SMT solver\n\n\ntest1.smt2, test2.smt2, test3.smt2, test4.smt2, test5.smt2, test6.smt2:\n  small test inputs for the Yices backend\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fllvmparty%2Fsmtlib2parser","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fllvmparty%2Fsmtlib2parser","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fllvmparty%2Fsmtlib2parser/lists"}