00:05
yitzi has joined #commonlisp
00:14
Everything has quit [Quit: leaving]
00:20
johnjaye has quit [Ping timeout: 248 seconds]
00:21
Lord_of_Life_ has joined #commonlisp
00:21
Lord_of_Life has quit [Ping timeout: 252 seconds]
00:23
X-Scale has quit [Ping timeout: 256 seconds]
00:24
Lord_of_Life_ is now known as Lord_of_Life
00:27
gjvc has joined #commonlisp
00:35
johnjaye has joined #commonlisp
00:39
jonatack has joined #commonlisp
00:54
yitzi has quit [Ping timeout: 252 seconds]
00:57
johnjaye has quit [Ping timeout: 264 seconds]
00:58
johnjaye has joined #commonlisp
01:00
jonatack has quit [Ping timeout: 260 seconds]
01:02
jonatack has joined #commonlisp
01:02
edgar-rft_ has joined #commonlisp
01:07
edgar-rft` has quit [Ping timeout: 260 seconds]
01:12
theruran has joined #commonlisp
01:18
jon_atack has joined #commonlisp
01:19
jonatack has quit [Read error: Connection reset by peer]
01:23
jon_atack has quit [Ping timeout: 252 seconds]
01:36
Akbar-Birbal has joined #commonlisp
01:56
jonatack has joined #commonlisp
02:06
lucasta has quit [Quit: Leaving]
02:58
jonatack has quit [Ping timeout: 272 seconds]
02:59
jonatack has joined #commonlisp
03:01
beach has quit [Ping timeout: 244 seconds]
03:20
brokkoli_origin has quit [Ping timeout: 252 seconds]
03:21
brokkoli_origin has joined #commonlisp
03:32
kevingal has quit [Remote host closed the connection]
03:35
pranav has joined #commonlisp
03:39
random-nick has quit [Ping timeout: 255 seconds]
04:01
mishoo has joined #commonlisp
04:09
beach has joined #commonlisp
04:50
_404man`` has left #commonlisp [ERC 5.4 (IRC client for GNU Emacs 28.2)]
04:57
mistivia has left #commonlisp [#commonlisp]
05:25
jonatack has quit [Ping timeout: 252 seconds]
05:44
Th30n` has joined #commonlisp
05:46
Th30n has quit [Ping timeout: 252 seconds]
05:50
jonatack has joined #commonlisp
06:00
GalaxyNova has joined #commonlisp
06:04
wacki has joined #commonlisp
06:09
mishoo has quit [Remote host closed the connection]
06:11
copec has quit [Ping timeout: 248 seconds]
06:11
copec has joined #commonlisp
06:32
crumbles has joined #commonlisp
06:39
mishoo has joined #commonlisp
06:51
wacki has joined #commonlisp
07:00
chomwitt has joined #commonlisp
07:01
mgl_ has joined #commonlisp
07:10
amb007 has quit [Read error: Connection reset by peer]
07:10
amb007 has joined #commonlisp
07:22
bitspook has joined #commonlisp
07:22
Th30n` is now known as Th30n
07:22
Th30n has quit [Remote host closed the connection]
07:23
Th30n has joined #commonlisp
07:36
amb007 has quit [Ping timeout: 260 seconds]
07:38
amb007 has joined #commonlisp
07:56
pillton has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)]
08:00
shka has joined #commonlisp
08:04
amb007 has quit [Ping timeout: 264 seconds]
08:07
liminality has joined #commonlisp
08:12
amb007 has joined #commonlisp
08:16
varjag has joined #commonlisp
08:28
treflip has joined #commonlisp
08:31
pkal has quit [Read error: Connection reset by peer]
08:32
pkal has joined #commonlisp
08:35
bendersteed has joined #commonlisp
08:40
amb007 has quit [Ping timeout: 272 seconds]
08:42
amb007 has joined #commonlisp
08:53
bendersteed has quit [Quit: bendersteed]
09:24
mesaoptimizer has quit [Quit: zzz]
09:36
mesaoptimizer has joined #commonlisp
09:40
brokkoli_origin has quit [Ping timeout: 252 seconds]
09:48
brokkoli_origin has joined #commonlisp
09:49
dajole has quit [Quit: Connection closed for inactivity]
09:56
GalaxyNova has quit [Ping timeout: 276 seconds]
10:01
dino_tutter has joined #commonlisp
10:26
mishoo has quit [Remote host closed the connection]
10:31
kevingal has joined #commonlisp
10:45
mishoo has joined #commonlisp
10:56
chkhd has joined #commonlisp
11:09
bitspook has quit [Read error: Connection reset by peer]
11:11
bitspook has joined #commonlisp
11:15
mwnaylor has quit [Ping timeout: 248 seconds]
11:25
treflip has quit [Ping timeout: 276 seconds]
11:54
markb1 has quit [Ping timeout: 252 seconds]
11:56
King_julian has joined #commonlisp
12:07
markb1 has joined #commonlisp
12:26
notzmv has quit [Ping timeout: 248 seconds]
12:36
JuanDaugherty has joined #commonlisp
12:37
alcor has joined #commonlisp
12:41
apac has joined #commonlisp
12:44
Demosthe1ex is now known as Demosthenex
12:47
nani has quit [Remote host closed the connection]
12:48
nani has joined #commonlisp
13:31
chkhd has quit [Quit: ZZZzzz…]
13:31
amb007 has quit [Ping timeout: 252 seconds]
13:32
chkhd has joined #commonlisp
13:36
amb007 has joined #commonlisp
13:40
King_julian has quit [Read error: Connection reset by peer]
13:43
cage has joined #commonlisp
13:43
cage has quit [Excess Flood]
13:44
cage has joined #commonlisp
13:50
JuanDaugherty has quit [Quit: JuanDaugherty]
14:09
King_julian has joined #commonlisp
14:10
jonatack has quit [Read error: Connection reset by peer]
14:11
jonatack has joined #commonlisp
14:12
wacki has quit [Read error: Connection reset by peer]
14:17
wacki has joined #commonlisp
14:23
Cymew has joined #commonlisp
14:25
<
selpoke >
does anyone know of a library (even an ffi interface would do) to solve integer linear programs from lisp?
14:25
<
ixelp >
GitHub - neil-lindquist/linear-programming: A Common Lisp library for solving linear programming problems
14:27
<
beach >
I don't see it mention "integer".
14:30
pve has joined #commonlisp
14:32
<
phoe >
beach: afaik ILP is a subset of LP, so most LP tools can also do ILP
14:32
<
phoe >
I'm not a specialist though so I accept corrections
14:32
<
beach >
Not so, I'm afraid.
14:35
<
ixelp >
Linear Problem DSL - linear-programming
14:35
<
phoe >
...integers, even
14:36
<
beach >
The solution to a linear program with only integer coefficients is not necessarily integer.
14:41
<
phoe >
IIUC it's not about coefficients, it's about variables
14:45
<
beach >
So it does. I didn't see it because it was not on the first page. I wonder what techniques they use then. Integer linear programming is much harder than ordinary linear programming.
14:47
<
beach >
One technique is to solve the problem without integer constraints, and then iterate by adding constrains to each variable in the solution that is not integer.
14:48
<
beach >
In fact, there is an article in a recent CACM about advances in integer linear programming. I should perhaps read it more carefully.
14:48
notzmv has joined #commonlisp
14:49
lucasta has joined #commonlisp
14:54
apac has quit [Ping timeout: 244 seconds]
14:58
kevingal_ has joined #commonlisp
15:01
kevingal has quit [Ping timeout: 244 seconds]
15:03
cercopith has joined #commonlisp
15:05
King_julian has quit [Read error: Connection reset by peer]
15:14
dlowe has quit [Remote host closed the connection]
15:14
dlowe has joined #commonlisp
15:27
treflip has joined #commonlisp
15:33
chkhd has quit [Quit: ZZZzzz…]
15:49
jonatack has quit [Ping timeout: 264 seconds]
15:51
jonatack has joined #commonlisp
15:59
random-nick has joined #commonlisp
16:10
kevingal_ has quit [Remote host closed the connection]
16:15
apac has joined #commonlisp
16:32
alcor has quit [Remote host closed the connection]
16:35
amb007 has quit [Ping timeout: 272 seconds]
16:35
alcor has joined #commonlisp
16:35
amb007 has joined #commonlisp
16:49
treflip has quit [Ping timeout: 248 seconds]
17:17
rogersm has joined #commonlisp
17:23
cercopith has quit [Read error: Connection reset by peer]
17:29
varjag has quit [Ping timeout: 255 seconds]
17:35
notzmv has quit [Ping timeout: 248 seconds]
17:38
attila_lendvai_ has joined #commonlisp
17:49
shawnw_ has quit [Remote host closed the connection]
17:52
chomwitt has quit [Ping timeout: 248 seconds]
17:53
amb007 has quit [Ping timeout: 244 seconds]
17:54
amb007 has joined #commonlisp
17:57
gnoo has quit [Ping timeout: 260 seconds]
17:57
gnoo has joined #commonlisp
18:00
dajole has joined #commonlisp
18:00
st_aldini has joined #commonlisp
18:08
jonatack has quit [Ping timeout: 255 seconds]
18:09
jonatack has joined #commonlisp
18:14
<
liminality >
beach: what is CACM?
18:16
Akbar-Birbal has left #commonlisp [Error from remote client]
18:19
JuanDaugherty has joined #commonlisp
18:22
<
liminality >
oooh, thankyou thankyou
18:39
semarie has quit [Ping timeout: 252 seconds]
18:39
cercopith has joined #commonlisp
18:40
alcor has quit [Remote host closed the connection]
18:42
alcor has joined #commonlisp
18:42
lucasta has quit [Quit: Leaving]
19:14
Cymew has quit [Quit: Konversation terminated!]
19:18
chomwitt has joined #commonlisp
19:25
cage has quit [Remote host closed the connection]
19:27
cow_2001 has quit [Quit: ✡]
19:28
cow_2001 has joined #commonlisp
19:30
JuanDaugherty has quit [Quit: JuanDaugherty]
19:37
varjag has joined #commonlisp
19:38
chrcav has quit [Quit: Lost terminal]
19:44
chrcav has joined #commonlisp
19:46
alendvai__ has joined #commonlisp
19:48
GalaxyNova has joined #commonlisp
19:50
attila_lendvai_ has quit [Ping timeout: 252 seconds]
20:21
rogersm has quit [Quit: Leaving...]
20:26
mishoo has quit [Ping timeout: 252 seconds]
20:36
cryptk has quit [Read error: Connection reset by peer]
20:36
cryptk` has joined #commonlisp
20:48
notzmv has joined #commonlisp
20:55
mwnaylor has joined #commonlisp
20:57
sadclown1 has joined #commonlisp
20:58
sadclown has quit [Read error: Connection reset by peer]
20:58
sadclown1 is now known as sadclown
21:08
amb007 has quit [Ping timeout: 265 seconds]
21:11
msv has quit [Remote host closed the connection]
21:11
msv has joined #commonlisp
21:28
pve has quit [Quit: leaving]
21:31
hineios23 has joined #commonlisp
21:33
akoana has joined #commonlisp
21:34
alendvai__ has quit [Ping timeout: 265 seconds]
21:35
alcor has quit [Remote host closed the connection]
21:35
alcor has joined #commonlisp
21:36
zenmov has joined #commonlisp
21:36
apac has quit [Ping timeout: 264 seconds]
21:37
msv has quit [Ping timeout: 252 seconds]
21:42
jonatack has quit [Read error: Connection reset by peer]
21:43
msv has joined #commonlisp
21:44
jonatack has joined #commonlisp
21:50
bitspook has quit [Ping timeout: 248 seconds]
21:51
Everything has joined #commonlisp
21:57
akoana has quit [Quit: leaving]
21:58
mange has joined #commonlisp
22:03
amb007 has joined #commonlisp
22:04
X-Scale has joined #commonlisp
22:06
X-Scale has quit [Client Quit]
22:07
shawnw has joined #commonlisp
22:08
King_julian has joined #commonlisp
22:19
zenmov has quit [Quit: leaving]
22:20
hineios23 has joined #commonlisp
22:23
hineios23 has quit [Client Quit]
22:24
hineios23 has joined #commonlisp
22:30
mgl_ has quit [Ping timeout: 248 seconds]
22:30
varjag has quit [Ping timeout: 264 seconds]
22:31
alcor has quit [Remote host closed the connection]
22:36
amb007 has quit [Ping timeout: 265 seconds]
22:40
gooba has quit [Remote host closed the connection]
22:47
zenmov_ has joined #commonlisp
22:47
liminality has quit [Ping timeout: 248 seconds]
22:48
zenmov_ has quit [Changing host]
22:48
zenmov_ has joined #commonlisp
23:04
gooba has joined #commonlisp
23:05
luna-is-here has quit [Remote host closed the connection]
23:05
gooba has quit [Remote host closed the connection]
23:05
gooba has joined #commonlisp
23:06
gooba has quit [Remote host closed the connection]
23:06
gooba has joined #commonlisp
23:09
lucasta has joined #commonlisp
23:10
luna-is-here has joined #commonlisp
23:21
tux0r has quit [Ping timeout: 248 seconds]
23:24
shka has quit [Quit: Konversation terminated!]
23:25
wacki has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
23:25
King_julian has quit [Read error: Connection reset by peer]
23:27
dino_tutter has quit [Ping timeout: 248 seconds]
23:33
tux0r has joined #commonlisp
23:58
pillton has joined #commonlisp