## STLmc
STLmc is an SMT-based bounded model checker for signal temporal logic (STL) of hybrid systems. The algorithm of the tool is refutationally complete for STL properties of bounded signals.
For more information about STLmc, please visit our [website](https://stlmc.github.io/)
### Features
* Bounded model checking
* Generating trajectories that falsify the given STL properties if any exists
* Supporting various SMT solvers (e.g., Z3, Yices2, dReal3)
Raw data
{
"_id": null,
"home_page": null,
"name": "stlmc",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": null,
"keywords": "stlmc, model checker, STL, signal temporal logic, bounded model checker",
"author": null,
"author_email": "Geunyeol Yu <rgyen@postech.ac.kr>",
"download_url": "https://files.pythonhosted.org/packages/2f/10/75bcd94774d67c3415f7eeb2b15541afd6449f46fe453ab7da64ac25acc6/stlmc-1.0.0.dev3.tar.gz",
"platform": null,
"description": "## STLmc\n\nSTLmc is an SMT-based bounded model checker for signal temporal logic (STL) of hybrid systems. The algorithm of the tool is refutationally complete for STL properties of bounded signals. \n\nFor more information about STLmc, please visit our [website](https://stlmc.github.io/)\n\n### Features\n\n* Bounded model checking\n* Generating trajectories that falsify the given STL properties if any exists\n* Supporting various SMT solvers (e.g., Z3, Yices2, dReal3)",
"bugtrack_url": null,
"license": "GPLv3",
"summary": "An SMT-based bounded model checker for signal temporal logic",
"version": "1.0.0.dev3",
"project_urls": {
"Bug tracker": "https://github.com/stlmc/stlmc/issues",
"Documentation": "https://stlmc.github.io/assets/files/stlmc-manual.pdf",
"Homepage": "https://stlmc.github.io/",
"Source code": "https://github.com/stlmc/stlmc/"
},
"split_keywords": [
"stlmc",
" model checker",
" stl",
" signal temporal logic",
" bounded model checker"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "34ed60981f7e0693445c027d6385b2a36bbad4d4a2b52972db1fbc0d15f34d7f",
"md5": "8d288642adc731c6e5e00bb8c8f64038",
"sha256": "95c8124e34a77bce7618148b52bf20f80c1c18e97b466d892e6502b9080c2793"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp310-cp310-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "8d288642adc731c6e5e00bb8c8f64038",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 3186924,
"upload_time": "2025-01-21T19:19:13",
"upload_time_iso_8601": "2025-01-21T19:19:13.403975Z",
"url": "https://files.pythonhosted.org/packages/34/ed/60981f7e0693445c027d6385b2a36bbad4d4a2b52972db1fbc0d15f34d7f/stlmc-1.0.0.dev3-cp310-cp310-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "85092ed326c42ba934d6d492f424ae0f6c019bd6ca5708947930fc252e7673de",
"md5": "562a539fff26334509a16a0210ee73b1",
"sha256": "3346e0faccb8d1014d315748a7a82524ff4c1dbbc19907f2961f48adcff8a3d5"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "562a539fff26334509a16a0210ee73b1",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 4062156,
"upload_time": "2025-01-21T19:19:16",
"upload_time_iso_8601": "2025-01-21T19:19:16.550095Z",
"url": "https://files.pythonhosted.org/packages/85/09/2ed326c42ba934d6d492f424ae0f6c019bd6ca5708947930fc252e7673de/stlmc-1.0.0.dev3-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "807b893b2f4e241d80aa6cb48e68850a13113334b3ac989f6959157e6c4c2e5b",
"md5": "20a03c8781e933664e1c5418c92069f8",
"sha256": "3ecc123d8689fb39d335699ccb2419d0ced169ed3be456ec95805c4f9d872a66"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp311-cp311-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "20a03c8781e933664e1c5418c92069f8",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 3186924,
"upload_time": "2025-01-21T19:19:19",
"upload_time_iso_8601": "2025-01-21T19:19:19.686554Z",
"url": "https://files.pythonhosted.org/packages/80/7b/893b2f4e241d80aa6cb48e68850a13113334b3ac989f6959157e6c4c2e5b/stlmc-1.0.0.dev3-cp311-cp311-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9bdeb5bc9f4d934c4461633f4214c506f257565928a32e92f31d6183e21775a2",
"md5": "cc42907a13d78e0ec18cb2771046500a",
"sha256": "63709af6590e53636bf40baff781630e9c2395deeab52f20767a88bf6c4dab1e"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "cc42907a13d78e0ec18cb2771046500a",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 4062156,
"upload_time": "2025-01-21T19:19:22",
"upload_time_iso_8601": "2025-01-21T19:19:22.088174Z",
"url": "https://files.pythonhosted.org/packages/9b/de/b5bc9f4d934c4461633f4214c506f257565928a32e92f31d6183e21775a2/stlmc-1.0.0.dev3-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "00b666447748222ff7e3ab7a1dd0004c60f227e09e077576ced49e08cf7325a6",
"md5": "945a8e8a91dad9d7070ba14d2c8dc872",
"sha256": "9120895655433f6c57a0b14d5f761501d653d4c30dad9a08adfc9ec94529a8bd"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp312-cp312-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "945a8e8a91dad9d7070ba14d2c8dc872",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 3186925,
"upload_time": "2025-01-21T19:19:25",
"upload_time_iso_8601": "2025-01-21T19:19:25.299175Z",
"url": "https://files.pythonhosted.org/packages/00/b6/66447748222ff7e3ab7a1dd0004c60f227e09e077576ced49e08cf7325a6/stlmc-1.0.0.dev3-cp312-cp312-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8a0413de58229e4567ea0edee228222c090dd5aa648e36349f9de49ed1fc0cbf",
"md5": "1257dab0ba03b130542e1031e98a5744",
"sha256": "4f4707c868190257807735a39ad2bf07e202197514d332fa36fb134eff81353f"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "1257dab0ba03b130542e1031e98a5744",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 4062156,
"upload_time": "2025-01-21T19:19:27",
"upload_time_iso_8601": "2025-01-21T19:19:27.433993Z",
"url": "https://files.pythonhosted.org/packages/8a/04/13de58229e4567ea0edee228222c090dd5aa648e36349f9de49ed1fc0cbf/stlmc-1.0.0.dev3-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "f8fd3b6da00c8999b991878e153d3c8f38d23bb6b2d642b0c006f9d578c430e9",
"md5": "3635bcecc0f39466008e6ea545cd8dc1",
"sha256": "970d99a70eaa03aa15be29804470411a8e84a9d1e5cd0b4d77b117a44ab04e10"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp38-cp38-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "3635bcecc0f39466008e6ea545cd8dc1",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 3186923,
"upload_time": "2025-01-21T19:19:30",
"upload_time_iso_8601": "2025-01-21T19:19:30.726806Z",
"url": "https://files.pythonhosted.org/packages/f8/fd/3b6da00c8999b991878e153d3c8f38d23bb6b2d642b0c006f9d578c430e9/stlmc-1.0.0.dev3-cp38-cp38-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "e752e1c0dd6fe14fcd9882c6433dedde875d7b647f4a1460f7e923b0678d082b",
"md5": "b12593f38ac584add831aec704ff3b94",
"sha256": "0ed72c2a973750927350ae9960dbce27f4ebf72ec372143f4137844f2377f8d3"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "b12593f38ac584add831aec704ff3b94",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 4062188,
"upload_time": "2025-01-21T19:19:32",
"upload_time_iso_8601": "2025-01-21T19:19:32.898191Z",
"url": "https://files.pythonhosted.org/packages/e7/52/e1c0dd6fe14fcd9882c6433dedde875d7b647f4a1460f7e923b0678d082b/stlmc-1.0.0.dev3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9894f343830435b8469b17b576f93557259d5363d19a9879b746fcfd489bfeff",
"md5": "b31701b0cfc2308fd50fbdd503380bcd",
"sha256": "19733860006fc529d27958d75f15f6e5a98a1046240fcb166f3ef25944c4ff11"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp39-cp39-macosx_14_0_arm64.whl",
"has_sig": false,
"md5_digest": "b31701b0cfc2308fd50fbdd503380bcd",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 3186922,
"upload_time": "2025-01-21T19:19:35",
"upload_time_iso_8601": "2025-01-21T19:19:35.728754Z",
"url": "https://files.pythonhosted.org/packages/98/94/f343830435b8469b17b576f93557259d5363d19a9879b746fcfd489bfeff/stlmc-1.0.0.dev3-cp39-cp39-macosx_14_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "c801c124f21b3b828a6a0d06ec3bb0d01b055d1bab217310c1579997c37081f9",
"md5": "d6708433a85db0f18c50dc33f9235cfe",
"sha256": "5f6d1166757c2d0854c78ab759252a86d8874a000ecc36f9fcf91a04fdf83f03"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "d6708433a85db0f18c50dc33f9235cfe",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 4062155,
"upload_time": "2025-01-21T19:19:38",
"upload_time_iso_8601": "2025-01-21T19:19:38.996702Z",
"url": "https://files.pythonhosted.org/packages/c8/01/c124f21b3b828a6a0d06ec3bb0d01b055d1bab217310c1579997c37081f9/stlmc-1.0.0.dev3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "2f1075bcd94774d67c3415f7eeb2b15541afd6449f46fe453ab7da64ac25acc6",
"md5": "f5bd7877d6b2864e8e5139a44b908472",
"sha256": "456abb4650b2845ff58cb30dd9db9cfbd2310423a9331a07127a8a4e45584f01"
},
"downloads": -1,
"filename": "stlmc-1.0.0.dev3.tar.gz",
"has_sig": false,
"md5_digest": "f5bd7877d6b2864e8e5139a44b908472",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 5090686,
"upload_time": "2025-01-21T19:19:42",
"upload_time_iso_8601": "2025-01-21T19:19:42.603457Z",
"url": "https://files.pythonhosted.org/packages/2f/10/75bcd94774d67c3415f7eeb2b15541afd6449f46fe453ab7da64ac25acc6/stlmc-1.0.0.dev3.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-01-21 19:19:42",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "stlmc",
"github_project": "stlmc",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "stlmc"
}
JSON
