Explore projects
-
Updated
-
Amaury Negre / beagle_irc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
batsim / batsim
OtherArchived 0Updated -
-
GruLab / 6DCNN
GNU General Public License v3.0 or laterUpdated