Project

General

Profile

« Previous | Next » 

Revision f60698a6

IDf60698a6fb0cca14d91658c7a8ac84107bbd77f7
Parent d283bf7a
Child c148a597

Added by Christoph Egger about 2 years ago

Add minisat dependency to ubuntu list

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences