TKSatGen

Generates instances of the satisfiability problem
Download

TKSatGen Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Price:
  • FREE
  • Publisher Name:
  • Thorsten
  • Publisher web site:
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 78 KB

TKSatGen Tags


TKSatGen Description

Generates instances of the satisfiability problem TKSatGen is a free and open source application that can generate relatively hard instances of the satisfiability problem. Requirements: · Java 1.6 or later What's New in This Release: · This is the first Version


TKSatGen Related Software

About SoftwareSea