| CARVIEW |
Select Language
HTTP/2 200
date: Fri, 16 Jan 2026 00:50:10 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/"b43b966a68e6ca4abba6c0c2b84312f7"
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=P8R94Cv7uvg3lHijYZYwTZBzcs%2BCIHnBkWUA5w9%2BoCEtuhX3yIQ7PtvVKLCJ%2FNMuLXj8indupje%2FrOhu0iz3KJwnfu%2B4z31OGHCJ7JVKlCLUcokA41ul5TQAP3cAoQdtLzsSp6sYliI4iehBmL7BFt6X3OqJc%2BvV0e3BwuQMt%2BH5MoBp5K7cuOeEkDkMAywLynJu8FcO8xp3OcmAxh2nD2xigaHrSYt0hFi8VHlrtVQgzckokEPMvEB4roggUoigfIEzZLe%2FdWiCQq6eq%2FlrHQ%3D%3D--MejQry2JL0oX5L03--TN3RD5lK9edyNu35%2BsHl9A%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.854536890.1768524609; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 00:50:09 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Sat, 16 Jan 2027 00:50:09 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: A814:3E74CE:FB323:15D2E4:69698B41
Releases · meelgroup/approxmc · GitHub
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 28
Releases: meelgroup/approxmc
Releases · meelgroup/approxmc
ApproxMC 4.2.0
release/4.2.0 This will never work
Assets 6
ApproxMC 4.1.24
New release to sync with new Arjun and CryptoMiniSat release
Assets 3
ApproxMC 4.1.23
Bumping version to bump pypi version
Assets 2
ApproxMC 4.1.22
New pip release thanks to Marcel Nageler
Assets 2
ApproxMC 4.1.16
Bumping version so CryptoMiniSat's fixes get included in PyPi release
Assets 3
ApproxMC 4.1.15
Some improvements, mainly now Arjun is fully enabled by default.
Assets 3
1 person reacted
ApproxMC 4.1.11
New release with Arjun simplification on by default except for sparsification.
Assets 2
ApproxMC 4.1.9
This ApproxMC is now using the latest Arjun and CryptoMiniSat (see versions below), which has an improved independent set finding strategy. ApproxMC also has now --withe enabled by default.
Meant to be used with:
c CMS SHA revision 9b4ee6f14849f7ea2b9efe2f33b698a3ba203947c Arjun SHA revision 767a829a9808a6b835a96bb19fb3ed587c3b2211
Assets 3
ApproxMC 4.1.4
New release, due to bug discovered in CryptoMiniSat. To be used with CryptoMiniSat 5358b9ce746cf2759616406f6450eb6cd1e4bf93, Arjun 407ea7f5c66ee66693fa0d6cda60558d0d554564.
Assets 3
ApproxMC 4.1.3
This version of ApproxMC uses Arjun. It should be used with:
- CryptoMiniSat revision
3be6e0f56ce55685e029afb93bfcc2d0800d8c1f - Arjun revision
4bd01d210f3121febcd5ba1190271d919c86041e
Assets 2
Previous Next
You can’t perform that action at this time.