Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 14, 2026

• ♻️ Fix Python 3.14 Compatibility (#20)

  Show description for 45c7969
  

  3 peopleauthored
  45c7969

  Copy full SHA for 45c7969

Commits on Jan 28, 2025

• add yices args

  0xkarmacoma

  committed
  557f977

  Copy full SHA for 557f977

• update uv.lock

  0xkarmacoma

  committed
  2e6c69c

  Copy full SHA for 2e6c69c

Commits on Nov 13, 2024

• sync lock file

  0xkarmacoma

  committed
  7492516

  Copy full SHA for 7492516

• format

  0xkarmacoma

  committed
  9598635

  Copy full SHA for 9598635

• get version from metadata and use it to invalidate cache

  0xkarmacoma

  committed
  736d3eb

  Copy full SHA for 736d3eb

• better handling of cache.json with multiple solvers using the same executable

  0xkarmacoma

  committed
  86c5641

  Copy full SHA for 86c5641

• fix reaper_thread() check to handle docker containers

  0xkarmacoma

  committed
  6c2e3ea

  Copy full SHA for 6c2e3ea

• better --versions output with multiple solver config

  0xkarmacoma

  committed
  9748e5d

  Copy full SHA for 9748e5d

• add large-sat-example and misc fixes

  0xkarmacoma

  committed
  3daa66b

  Copy full SHA for 3daa66b

• Revert "read from pipes instead of output files"

  Show description for 42911ae
  0xkarmacoma

  committed
  42911ae

  Copy full SHA for 42911ae

• add solver variants: bitwuzla-abstraction and cvc5-int-blasting (#9)

  daejunpark

  authored
  7c50405

  Copy full SHA for 7c50405

Commits on Nov 8, 2024

• update README.md (supported solvers)

  0xkarmacoma

  committed
  883e286

  Copy full SHA for 883e286

Commits on Nov 7, 2024

• update authors

  0xkarmacoma

  committed
  dbe0582

  Copy full SHA for dbe0582

• update README.md

  0xkarmacoma

  committed
  0ee30ee

  Copy full SHA for 0ee30ee

• update README.md

  0xkarmacoma

  committed
  1ac9b73

  Copy full SHA for 1ac9b73

• update README.md

  0xkarmacoma

  committed
  d680a3f

  Copy full SHA for d680a3f

• change package name to just-solve-it

  Show description for 81e1473
  0xkarmacoma

  committed
  81e1473

  Copy full SHA for 81e1473

• update release.yml

  0xkarmacoma

  committed
  ff0398c

  Copy full SHA for ff0398c

• add --versions option

  Show description for aa8fa77
  0xkarmacoma

  committed
  aa8fa77

  Copy full SHA for aa8fa77

• update README.md

  0xkarmacoma

  committed
  609bd66

  Copy full SHA for 609bd66

Commits on Nov 6, 2024

• better handling of solver loading and finding

  0xkarmacoma

  committed
  f89caf1

  Copy full SHA for f89caf1

• read from pipes instead of output files

  0xkarmacoma

  committed
  0db9a17

  Copy full SHA for 0db9a17

• better handling of cli options

  0xkarmacoma

  committed
  1bd76cc

  Copy full SHA for 1bd76cc

Commits on Nov 5, 2024

• update README.md

  0xkarmacoma

  committed
  9227981

  Copy full SHA for 9227981

• update README.md (collapsible details)

  0xkarmacoma

  committed
  c5e2fd9

  Copy full SHA for c5e2fd9

• update README.md

  0xkarmacoma

  committed
  8653192

  Copy full SHA for 8653192

• update .gitignore

  0xkarmacoma

  committed
  2ef7ea8

  Copy full SHA for 2ef7ea8

• update README.md (daemon mode)

  0xkarmacoma

  committed
  38a75d2

  Copy full SHA for 38a75d2

• update README.md (csv output)

  0xkarmacoma

  committed
  e579834

  Copy full SHA for e579834

• add images

  0xkarmacoma

  committed
  5671403

  Copy full SHA for 5671403

• improve status line

  Show description for e4bf720
  0xkarmacoma

  committed
  e4bf720

  Copy full SHA for e4bf720

• update README

  0xkarmacoma

  committed
  508c694

  Copy full SHA for 508c694

• update config file names and README section

  0xkarmacoma

  committed
  cefe175

  Copy full SHA for cefe175

Commits on Nov 2, 2024

• use bright magenta for output

  0xkarmacoma

  committed
  540e692

  Copy full SHA for 540e692

Pagination

Previous

Next