simgen dataset

Randomly Generated Data for Learning polysat

polysat packageRead PDF manual
  • Maintainer: Lindsay V. Clark
  • License: GPL-2
  • Last published: 2022-08-23

About the dataset

  • Number of columns: 1
  • Class: genambig