Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@astra-uu-se astra-uu-se

Change the repository type filter

All

    Repositories list

    17 repositories

    • atlantis

      Public
      CBLS solver
      C++
      •2•5•0•0•Updated Oct 27, 2025Oct 27, 2025

    • MPLACE

      Public
      MPLACE (MicroPlate Layout Arrangement with Constraint Engines) is a simple GUI to simplify the workflow of MiniZinc models to generate microplate layouts. Specifically, it is aimed to be compatible with https://github.com/pharmbio/plaid and future models
      MiniZinc
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 23, 2025Oct 23, 2025

    • gecode-lns-experiments

      Public
      experiments plumbing for gecode-lns
      Python
      •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

    • gecode-lns

      Public
      An extension of Dexter's LNS portfolio solver
      C++
      •
      Other
      •2•0•0•0•Updated Oct 22, 2025Oct 22, 2025

    • astra-bib

      Public
      bibtex reference file
      TeX
      •0•0•0•0•Updated Oct 6, 2025Oct 6, 2025

    • multiplates

      Public
      Minimising Source-Plate Swaps
      Jupyter Notebook
      •
      Mozilla Public License 2.0
      •0•1•0•0•Updated Oct 3, 2025Oct 3, 2025

    • run_backends

      Public
      A CLI script for running MiniZinc instances and generating Latex tables from the results
      Python
      •1•1•0•0•Updated Sep 29, 2025Sep 29, 2025

    • rapidcheck

      Public
      QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
      C++
      •
      BSD 2-Clause "Simplified" License
      •181•0•0•0•Updated Sep 3, 2025Sep 3, 2025

    • fznparser

      Public
      C++
      •0•0•0•0•Updated Sep 3, 2025Sep 3, 2025

    • gecode-generic-lns

      Public
      Generic Constraint Development Environment
      C++
      •
      Other
      •81•0•0•0•Updated May 13, 2025May 13, 2025

    • oscar-cbls-flatzinc

      Public
      Constraint Based Local Search backend to Minizinc using Oscar-CBLS.
      Shell
      •0•1•0•0•Updated Dec 18, 2024Dec 18, 2024

    • cpaior2024-masterclass

      Public
      Slides from the CPAIOR 2024 master class on quantum computing
      0•3•0•0•Updated Sep 4, 2024Sep 4, 2024

    • MiniZinc-linter

      Public
      C++
      •0•1•0•0•Updated Sep 20, 2021Sep 20, 2021

    • TMC

      Public
      code for TMC paper: Optimal Scheduling of Age-centric Caching: Tractability and Computation
      0•0•0•0•Updated Oct 1, 2020Oct 1, 2020

    • CP2020

      Public
      Public files for 'Solving Satisfaction Problems using LNS' paper of CP2020.
      Shell
      •0•0•0•0•Updated Sep 14, 2020Sep 14, 2020

    • SEFM18

      Public
      Public files for Grinchtein et.al. SEFM18 paper.
      Coq
      •0•0•0•0•Updated Apr 19, 2018Apr 19, 2018

    • sweep-propagator

      Public
      Sweep-Based Propagator for the Diffn constraint, in Gecode
      C++
      •
      MIT License
      •2•0•0•0•Updated Jun 28, 2017Jun 28, 2017