Skip to content

Instantly share code, notes, and snippets.

View jesenko's full-sized avatar

Simon Jesenko jesenko

  • Ljubljana, Slovenia
View GitHub Profile
@jesenko
jesenko / model.proto
Created March 18, 2019 12:16
Proto that crashes cp-sat presolver
variables {
name: "1|2010-01-01|-1"
domain: 0
domain: 1
}
variables {
name: "1|2010-01-01|1"
domain: 0
domain: 1
}
let rand = ()=> (Math.floor(Math.random() * 20) - 10);
const modalStyle = {
position: 'fixed',
zIndex: 1040,
top: 0, bottom: 0, left: 0, right: 0
};
const backdropStyle = {
...modalStyle,