Skip to content

@CInet CInet

Change the repository type filter

All

    Repositories list

    21 repositories

    • CInet-Base

      Public
      The basis for computations on CI structures
      Perl
      •
      Other
      •0•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • Data-Selfadhesivity-in-lattices

      Public
      Data repository for the paper "Self-adhesivity in lattices of abstract conditional independence models"
      Mathematica
      •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • website

      Public
      CSS
      •0•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • CInet-Tools

      Public
      Perl
      •0•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • CInet-Alien-SoPlex

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated Sep 17, 2024Sep 17, 2024

    • CInet-Graphical

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • CInet-Propositional

      Public
      CI inference axioms and SAT solvers
      Perl
      •
      Other
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • container

      Public
      Dockerfile
      •0•0•0•0•Updated Mar 23, 2024Mar 23, 2024

    • CInet-Polyhedral

      Public
      Perl
      •0•0•0•0•Updated Mar 7, 2024Mar 7, 2024

    • CInet-ManySAT

      Public
      A collection of SAT solvers
      Perl
      •
      Other
      •0•1•0•0•Updated Mar 7, 2024Mar 7, 2024

    • CInet-Gaussoids

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated Feb 28, 2024Feb 28, 2024

    • Web

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • CInet-Adhesive

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated Feb 13, 2024Feb 13, 2024

    • CInet-Alien-GMPxx

      Public
      C
      •
      Other
      •0•0•0•0•Updated Feb 2, 2024Feb 2, 2024

    • CInet-Moore

      Public
      0•0•0•0•Updated Nov 27, 2023Nov 27, 2023

    • CInet-Alien-CaDiCaL

      Public
      The SAT solver CaDiCaL
      C++
      •
      Other
      •0•0•0•0•Updated Nov 15, 2023Nov 15, 2023

    • CInet-Semimatroids

      Public
      Perl
      •
      Other
      •0•0•0•0•Updated May 2, 2022May 2, 2022

    • CInet-Bridge-SoPlex

      Public
      Make soplex available one way or another
      Perl
      •
      Other
      •0•0•0•0•Updated Sep 22, 2020Sep 22, 2020

    • CInet-Alien-MiniSAT-All

      Public
      Perl alien for the AllSAT solver nbc_minisat_all
      C
      •
      Other
      •0•0•0•0•Updated Sep 15, 2020Sep 15, 2020

    • CInet-Alien-GANAK

      Public
      Perl alien for the probabilistic model counter GANAK
      C++
      •
      Other
      •0•0•0•0•Updated Sep 11, 2020Sep 11, 2020

    • CInet-Alien-DSHARP

      Public
      Perl alien for the model counter DSHARP
      C++
      •
      Other
      •0•0•0•0•Updated Sep 10, 2020Sep 10, 2020