The name isfeasible can be bit misleading. isfeasible actually means that an inconsistency has not been found yet. But is does not mean that a solution necessarily exist.
By checking isfeasible, you are actually checking "is not yet proven to be inconsistent"
The name
isfeasiblecan be bit misleading. isfeasible actually means that an inconsistency has not been found yet. But is does not mean that a solution necessarily exist.By checking isfeasible, you are actually checking "is not yet proven to be inconsistent"