Andrew Overholt: > sat4j is currently in Fedora if that's of interest to you. It certainly is!! I've added that to the list. --- David A. Wheeler -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
