ViceIce 


An extensible framework for feature-oriented software development This is the IKVM version; which is to say that this is compiled from Java to .NET
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine. This is the IKVM version; which is to say that this is compiled from Java to .NET
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine. This is the IKVM version; which is to say that this is compiled from Java to .NET