Giters
Felix Ulrich-Oltean (felixvuo)

felixvuo

Geek Repo

1

followers

2

following

3

stars

Company:University of York

Home Page:felixvuo.github.io

Github PK Tool:Github PK Tool

Felix Ulrich-Oltean's repositories

tex-words-worm

Plot your latex word count over time

Language:PythonStargazers:2Issues:1Issues:0

conjure

Conjure: The Automated Constraint Modelling Tool

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cp2022-pbli-sat

Experimental Data for "Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints" in CP2022

Stargazers:0Issues:0Issues:0

csplib

A benchmark library for constraints

Language:PrologStargazers:0Issues:0Issues:0

felixvuo.github.io

Somewhere to share and publish during my PhD

Language:HTMLStargazers:0Issues:0Issues:0

hello-world

Language:HTMLStargazers:0Issues:0Issues:0

lease-data

Learning to Select SAT Encodings - Data and Code for Experiments

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:0Issues:0