Skip to content
@dreal-deps

dReal: dependencies

Popular repositories Loading

  1. mathlib mathlib Public

    IBM Accurate Portable Mathlib

    C 8 4

  2. filibxx filibxx Public

    filib++

    C++ 2 1

  3. ibex-lib ibex-lib Public

    Forked from ibex-team/ibex-lib

    IBEX is a C++ library for constraint processing over real numbers.

    C++ 1 1

  4. ezoptionparser ezoptionparser Public

    ezoptionparser

    HTML 1 1

  5. DynIbex DynIbex Public

    http://perso.ensta-paristech.fr/~chapoutot/dynibex/

    C++ 1

  6. capdDynSys-3.0 capdDynSys-3.0 Public

    Git Repository for CAPD-Dynsys Project

    C++

Repositories

Showing 10 of 43 repositories
  • mathlib Public

    IBM Accurate Portable Mathlib

    dreal-deps/mathlib’s past year of commit activity
    C 8 GPL-2.0 4 0 0 Updated Sep 29, 2023
  • ezoptionparser Public

    ezoptionparser

    dreal-deps/ezoptionparser’s past year of commit activity
    HTML 1 MIT 1 0 0 Updated Jan 11, 2023
  • picosat Public
    dreal-deps/picosat’s past year of commit activity
    C 0 MIT 2 0 0 Updated Jul 5, 2022
  • ibex-lib Public Forked from ibex-team/ibex-lib

    IBEX is a C++ library for constraint processing over real numbers.

    dreal-deps/ibex-lib’s past year of commit activity
    C++ 1 LGPL-3.0 52 0 0 Updated May 9, 2022
  • cadical Public

    CaDiCaL Simplified Satisfiability Solver

    dreal-deps/cadical’s past year of commit activity
    0 MIT 0 0 0 Updated May 7, 2022
  • homebrew-ibex Public
    dreal-deps/homebrew-ibex’s past year of commit activity
    0 1 1 0 Updated Apr 12, 2021
  • ibex-ppa-updater Public
    dreal-deps/ibex-ppa-updater’s past year of commit activity
    Shell 0 0 0 0 Updated Apr 8, 2020
  • styleguide Public Forked from google/styleguide

    Style guides for Google-originated open-source projects

    dreal-deps/styleguide’s past year of commit activity
    HTML 0 13,467 0 0 Updated Apr 23, 2019
  • homebrew-coinor Public archive Forked from coin-or-tools/homebrew-coinor

    A Repository of Homebrew Formulae for COIN-OR Projects

    dreal-deps/homebrew-coinor’s past year of commit activity
    Ruby 0 13 0 0 Updated Apr 18, 2019
  • tcc Public

    Tiny C Compiler

    dreal-deps/tcc’s past year of commit activity
    C 0 LGPL-2.1 0 0 0 Updated Nov 12, 2018
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…