Provides a library for constrained randomization and coverage collection
Raw data
{
"_id": null,
"home_page": "https://github.com/vsc-tools/vsc-solvers",
"name": "vsc-solvers",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": "SystemVerilog, Verilog, RTL, Python",
"author": "Matthew Ballance",
"author_email": "matt.ballance@gmail.com",
"download_url": null,
"platform": null,
"description": "\n Provides a library for constrained randomization and coverage collection\n \n",
"bugtrack_url": null,
"license": "Apache 2.0",
"summary": "Core Verification Stimulus and Coverage library",
"version": "0.0.1.13937968163",
"project_urls": {
"Homepage": "https://github.com/vsc-tools/vsc-solvers"
},
"split_keywords": [
"systemverilog",
" verilog",
" rtl",
" python"
],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "950cb74025c10f00bfc95dcb3a896aca29f0d9cbc8715f7439af08f069e07ce5",
"md5": "af5a7b5995d428b4f5ea7e52533a8949",
"sha256": "9c4a940e50072216d8ef683f53ed1c436769204abce1a9b2a7e943a97dfd41c2"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "af5a7b5995d428b4f5ea7e52533a8949",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 403978,
"upload_time": "2025-03-19T03:09:55",
"upload_time_iso_8601": "2025-03-19T03:09:55.737056Z",
"url": "https://files.pythonhosted.org/packages/95/0c/b74025c10f00bfc95dcb3a896aca29f0d9cbc8715f7439af08f069e07ce5/vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "deed58b2e27ab42fb4159035fdbdd8c1ccd83a37c12c7d11a832015b32aa3262",
"md5": "f0aebaed72ee9a872e9a534cff3c392c",
"sha256": "ee093ad7b17e2cdc1a820b0f9746c8d6b8f63ed01e2deb72f142386011910948"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "f0aebaed72ee9a872e9a534cff3c392c",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 428576,
"upload_time": "2025-03-19T03:09:46",
"upload_time_iso_8601": "2025-03-19T03:09:46.683136Z",
"url": "https://files.pythonhosted.org/packages/de/ed/58b2e27ab42fb4159035fdbdd8c1ccd83a37c12c7d11a832015b32aa3262/vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "34edd8de3695456ef952b8ea4dba8cee72c1c66cafa48dc7d706538f382294c0",
"md5": "e0160ee5b51e73978b6b174e3d10bc87",
"sha256": "d2cecb8e50524a835b0e5f09d816e367f7421ae4fd6bac25e93ff82b72cd1e8e"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_34_x86_64.whl",
"has_sig": false,
"md5_digest": "e0160ee5b51e73978b6b174e3d10bc87",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": null,
"size": 421606,
"upload_time": "2025-03-19T03:09:58",
"upload_time_iso_8601": "2025-03-19T03:09:58.552987Z",
"url": "https://files.pythonhosted.org/packages/34/ed/d8de3695456ef952b8ea4dba8cee72c1c66cafa48dc7d706538f382294c0/vsc_solvers-0.0.1.13937968163-cp310-cp310-manylinux_2_34_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "94841162a39d761f0e316d4e3d796ebc10ab591eb76625a4168294aa3615396f",
"md5": "4dc2639ab418c6c4e76ddd67f2c8a0f8",
"sha256": "2462667e36de28991a5298e4e722ab9fe664011bb633e902d1edcb233ba694f0"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "4dc2639ab418c6c4e76ddd67f2c8a0f8",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 425365,
"upload_time": "2025-03-19T03:09:43",
"upload_time_iso_8601": "2025-03-19T03:09:43.261293Z",
"url": "https://files.pythonhosted.org/packages/94/84/1162a39d761f0e316d4e3d796ebc10ab591eb76625a4168294aa3615396f/vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "d355164b7faaec752b6b8616f8cefe177ea18f11e0dc4f756e873fc07ecfb1c5",
"md5": "87d32bbcade9fb29d4af76fc081167e6",
"sha256": "dfafb59f410cec1b89703768e8f9b6d6c711da78cb34ae9b54cd539b120ee5b4"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "87d32bbcade9fb29d4af76fc081167e6",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 449408,
"upload_time": "2025-03-19T03:09:59",
"upload_time_iso_8601": "2025-03-19T03:09:59.560202Z",
"url": "https://files.pythonhosted.org/packages/d3/55/164b7faaec752b6b8616f8cefe177ea18f11e0dc4f756e873fc07ecfb1c5/vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "fd85ff3c1e52eea9eedd12da655602d9c1189f937edbb9628d29e9bcb70101e0",
"md5": "03cad22f9faf90344819c261436c6e30",
"sha256": "e40788c508883ef4d3bbd939667772afb1083997f4c98c7aa9906b1797ee68ea"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_34_x86_64.whl",
"has_sig": false,
"md5_digest": "03cad22f9faf90344819c261436c6e30",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": null,
"size": 442651,
"upload_time": "2025-03-19T03:09:50",
"upload_time_iso_8601": "2025-03-19T03:09:50.828024Z",
"url": "https://files.pythonhosted.org/packages/fd/85/ff3c1e52eea9eedd12da655602d9c1189f937edbb9628d29e9bcb70101e0/vsc_solvers-0.0.1.13937968163-cp311-cp311-manylinux_2_34_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "89daeb3cfd1b087cad09ae91f4d58b2c0a2030131fa08f6c3a6011bd88902aea",
"md5": "462b7837de588daa64324246ecf5d0b0",
"sha256": "dcc7225729f92d393ed6ae41349729fff2e44c62cbc4f89e5f919aaf602f91b0"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "462b7837de588daa64324246ecf5d0b0",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 439274,
"upload_time": "2025-03-19T03:09:32",
"upload_time_iso_8601": "2025-03-19T03:09:32.649213Z",
"url": "https://files.pythonhosted.org/packages/89/da/eb3cfd1b087cad09ae91f4d58b2c0a2030131fa08f6c3a6011bd88902aea/vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "38dc71d4637f365056d7e792776fb4ad361cad73ff79cad90933b0ddbf8ef95b",
"md5": "541b770586eecd9c1f73904692ce45c1",
"sha256": "e50c050d2519408cd3bfefcfdc7805c7e344640af8c619500f5c5e3804cedb2e"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "541b770586eecd9c1f73904692ce45c1",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 454771,
"upload_time": "2025-03-19T03:10:02",
"upload_time_iso_8601": "2025-03-19T03:10:02.174406Z",
"url": "https://files.pythonhosted.org/packages/38/dc/71d4637f365056d7e792776fb4ad361cad73ff79cad90933b0ddbf8ef95b/vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "ad3b7c90336ec34b9ba4071ea0e0e466be75cbf86fd0acf1a12ead8a33180523",
"md5": "6d6e1d29b874b692cd78fa99fd3f619e",
"sha256": "ac64ea7b654803ec91bddba6806d99f492ee963c262460682f4b224dc00aea3d"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_34_x86_64.whl",
"has_sig": false,
"md5_digest": "6d6e1d29b874b692cd78fa99fd3f619e",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": null,
"size": 449719,
"upload_time": "2025-03-19T03:09:54",
"upload_time_iso_8601": "2025-03-19T03:09:54.312559Z",
"url": "https://files.pythonhosted.org/packages/ad/3b/7c90336ec34b9ba4071ea0e0e466be75cbf86fd0acf1a12ead8a33180523/vsc_solvers-0.0.1.13937968163-cp312-cp312-manylinux_2_34_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "c2bb1541c1674b9c10438b3d298f26621e844049a1a4a8aa90bd1ce346008825",
"md5": "5a69a656e7aefc36635bc0f668c6fc32",
"sha256": "b1091b818350229ac10f3691a5cab4a849ca34a3fc3e4621e4a1fc291fee171d"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "5a69a656e7aefc36635bc0f668c6fc32",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 395459,
"upload_time": "2025-03-19T03:09:30",
"upload_time_iso_8601": "2025-03-19T03:09:30.848117Z",
"url": "https://files.pythonhosted.org/packages/c2/bb/1541c1674b9c10438b3d298f26621e844049a1a4a8aa90bd1ce346008825/vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "285c03a73876faa0e538fbfccccba387f579e93c97b3373a33ab1b6038c0a9e3",
"md5": "77443408c45ec532b4dbd26736769694",
"sha256": "a6e9b116a0eae89a93faf47c7b70292cc6bf893c14fb5475d042bea42c87e416"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "77443408c45ec532b4dbd26736769694",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 420086,
"upload_time": "2025-03-19T03:10:05",
"upload_time_iso_8601": "2025-03-19T03:10:05.556039Z",
"url": "https://files.pythonhosted.org/packages/28/5c/03a73876faa0e538fbfccccba387f579e93c97b3373a33ab1b6038c0a9e3/vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "9a14eff3febfdd7467d7d18c39abe076f752c3afcff644c4345107c9f64eae5f",
"md5": "36241e15e742d9422610df57cc00a8fa",
"sha256": "f0995e591ea961534a1249e2f038c13340e5d07f4cda721e717a652780800edf"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_34_x86_64.whl",
"has_sig": false,
"md5_digest": "36241e15e742d9422610df57cc00a8fa",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": null,
"size": 413099,
"upload_time": "2025-03-19T03:09:57",
"upload_time_iso_8601": "2025-03-19T03:09:57.681687Z",
"url": "https://files.pythonhosted.org/packages/9a/14/eff3febfdd7467d7d18c39abe076f752c3afcff644c4345107c9f64eae5f/vsc_solvers-0.0.1.13937968163-cp38-cp38-manylinux_2_34_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "e611c3e2409db3d43c108860fcec84ed15c05f201e6ede93c5d4fcaf5209c477",
"md5": "900905f75b0353688fb3f3fd322dbb82",
"sha256": "875c04171115d74274b1b19dafd292622d4b583f7013e68aa81f4ad032bc5165"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"has_sig": false,
"md5_digest": "900905f75b0353688fb3f3fd322dbb82",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 406311,
"upload_time": "2025-03-19T03:09:51",
"upload_time_iso_8601": "2025-03-19T03:09:51.360542Z",
"url": "https://files.pythonhosted.org/packages/e6/11/c3e2409db3d43c108860fcec84ed15c05f201e6ede93c5d4fcaf5209c477/vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "6d103465d17aad728509c06a333387a23cc6e19af50648ec507c4032934fa425",
"md5": "d7beeff280034b7a4cf8220b3b64c922",
"sha256": "848b079547561bc4c8dff95cf049db8336c11c0474a938c2f858316bf04072ee"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_28_x86_64.whl",
"has_sig": false,
"md5_digest": "d7beeff280034b7a4cf8220b3b64c922",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 430898,
"upload_time": "2025-03-19T03:10:09",
"upload_time_iso_8601": "2025-03-19T03:10:09.088986Z",
"url": "https://files.pythonhosted.org/packages/6d/10/3465d17aad728509c06a333387a23cc6e19af50648ec507c4032934fa425/vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_28_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": null,
"digests": {
"blake2b_256": "18943d814166373d3bbdc639281706b404358a2f73ad301d2693a98f9dd16b4f",
"md5": "b0c3dab469e188b10bdcc95895252117",
"sha256": "eb6ed28a274047544a76f483ed7c7ff27c4873c5b07695f227b809b6adba03ed"
},
"downloads": -1,
"filename": "vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_34_x86_64.whl",
"has_sig": false,
"md5_digest": "b0c3dab469e188b10bdcc95895252117",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": null,
"size": 423868,
"upload_time": "2025-03-19T03:09:49",
"upload_time_iso_8601": "2025-03-19T03:09:49.509037Z",
"url": "https://files.pythonhosted.org/packages/18/94/3d814166373d3bbdc639281706b404358a2f73ad301d2693a98f9dd16b4f/vsc_solvers-0.0.1.13937968163-cp39-cp39-manylinux_2_34_x86_64.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-03-19 03:09:55",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "vsc-tools",
"github_project": "vsc-solvers",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "vsc-solvers"
}
JSON
