ViceIce
- 3,992 total downloads
- last updated 1/13/2020
- Latest version: 1.0.2
Constants for (almost) all MIME types and method to determine MIME type from a file name. Contains just over 1000 mime types.
Generated from the Apache server mime.types file and the H5PB nginx mime.types file. Works similar to .NET's...
More information
- 1,949 total downloads
- last updated 10/17/2017
- Latest version: 3.3.0
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
- 1,376 total downloads
- last updated 12/23/2020
- Latest version: 2.3.6
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
org.sat4j.pb
by:
ViceIce
- 1,286 total downloads
- last updated 12/23/2020
- Latest version: 2.3.6
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