Φίλε varipepopi,
καλά είναι όλα τα παραπάμω που αναφερεις αλλά για αυτα που ζητάς μόνο ένας solver θα σε ικανοποιήσει. Ίσως ο καλύτερος solver αυτη τη στιγμή στην αγορά είναι το piosolver αλλά είναι λίγο ακριβος. Έχει και εναν φτηνο αλλά δεν θυμαμαι πως τον λένε. Ας βοηθησει καποις αν θυμαται.
καλή τύχη