arminbiere/gimsatul

Issues

• Releases/archives do not build as GITID is not a string

  #7 opened a year ago by tautschnig
  2

• Bug in mkconfig.sh with confusion between int/string

  #6 opened a year ago by GregoryMorse
  1

• How to get total number of all solutions?

  #5 opened 2 years ago by liyu0x
  4

• slightly underdocumented

  #1 opened 3 years ago by DvonHolten
  2

• More incrementality features?

  #4 opened 2 years ago by sfiruch
  1

• gimsatul reigns!

  #2 opened 2 years ago by a1880
  2

• cannot build under cygwin (win11)

  #3 opened 2 years ago by benjaminbartsch
  6