The Saffron Preprocessor for Sat4j

Saturday, January 12, 2019

Saffron Location

Saffron can be found at https://github.com/kmsoileau/Saffron-2.0
Posted by Kerry Soileau at 6:00 AM
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

No comments:

Post a Comment

Newer Post Home
Subscribe to: Post Comments (Atom)

About Me

Kerry Soileau
View my complete profile

Blog Archive

  • ►  2020 (1)
    • ►  September (1)
  • ▼  2019 (8)
    • ▼  January (8)
      • New location for future posts
      • Using Saffron to solve the Set Atomic Basis Problem
      • Using Saffron to solve the Minimum Test Set problem
      • Using Saffron to solve the Set Packing problem
      • Using Saffron to solve the Subset Sum problem
      • Using Saffron to solve the Map Coloring problem
      • Sat4j Location
      • Saffron Location
Simple theme. Powered by Blogger.