| CARVIEW |
Select Language
HTTP/2 200
date: Fri, 16 Jan 2026 18:31:15 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"785ca4c396d738b58fe44ce4a55e0fff"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=LQ%2FaCLU7oE%2BZqTKMJyZjQsetQAOPIwySVOOeYjtafIfG6zqDd1VbqnXFD5nZpIt%2FI1wwO3Ua4urzdZ9QjFg5AWKhsKv21obmVFJGWNu8CzLDTeUtKB237GgGTBx1gEgMrgtWv5f9xRbxxTrfuo%2BJrWyH%2F1LHE39W8x6N9fYphxDm2cy74fzgg0Z6opfowmh6YHUGOlY5lfBKbLYn0QGU8s1YbcO3Y9%2FIaQll9c8FSd7yYNnF8XtvaTlulBSNXMDvbCnVCzZZVrd%2By92JNGSn3A%3D%3D--vVVm%2BR5uUujjMq2L--kNdXJva%2BwLXfz7anTU9ezw%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1891582340.1768588274; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 18:31:14 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 18:31:14 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 9FE0:32DA73:93AC4B:A49536:696A83F2
GitHub · Where software is built
Search
Skip to content
Navigation Menu
{{ message }}
This repository was archived by the owner on Aug 23, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 68
Issues
is:issue state:open
is:issue state:open
Search results
Btormc Support for Multi-dimensional Arrays
wontfixThis will not be worked onThis will not be worked onStatus: Open.#230 In Boolector/boolector;make failing for Python API with Python version 3.11.8
wontfixThis will not be worked onThis will not be worked onStatus: Open.#229 In Boolector/boolector;configure python support with a non-global python version
wontfixThis will not be worked onThis will not be worked onStatus: Open.#228 In Boolector/boolector;The test 'bv' doesn't finish in 8 mins
wontfixThis will not be worked onThis will not be worked onStatus: Open.#227 In Boolector/boolector;PyBoolector metadata version mismatch causing install failure
wontfixThis will not be worked onThis will not be worked onStatus: Open.#224 In Boolector/boolector;BtorMC --kind not converging
wontfixThis will not be worked onThis will not be worked onStatus: Open.#220 In Boolector/boolector;FileNotFoundError when installing on windows
wontfixThis will not be worked onThis will not be worked onStatus: Open.#218 In Boolector/boolector;How to install pyboolector for pypy
wontfixThis will not be worked onThis will not be worked onStatus: Open.#215 In Boolector/boolector;Make error while running btor2tools
wontfixThis will not be worked onThis will not be worked onStatus: Open.#214 In Boolector/boolector;install error on macos 13.4.1
wontfixThis will not be worked onThis will not be worked onStatus: Open.#209 In Boolector/boolector;Stuck rewriting in rewrite_eq_exp
wontfixThis will not be worked onThis will not be worked onStatus: Open.#205 In Boolector/boolector;install pyboolector failed on python 3.11 macos
wontfixThis will not be worked onThis will not be worked onStatus: Open.#204 In Boolector/boolector;
You can’t perform that action at this time.