{
  "package": "polysat",
  "version": "1.7-7",
  "date": "2022-08-23 14:10:02 UTC",
  "urls": [
    "https://github.com/lvclark/polysat/wiki"
  ]
}