| 00:16.48 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 00:40.21 | *** join/#brlcad zwliew (uid161395@gateway/web/irccloud.com/x-rsfhnnqweskvxuzj) |
| 01:20.00 | *** join/#brlcad infobot (ibot@rikers.org) |
| 01:20.00 | *** topic/#brlcad is This channel is for BRL-CAD and open source CAx discussion! Logs @ http://infobot.rikers.org/%23brlcad/ |
| 01:37.10 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 01:53.34 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 03:07.15 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 04:19.51 | brlcad | Happy New Year everyone! |
| 04:20.02 | brlcad | starseeker: https://github.com/DennisYurichev/ToySMT |
| 04:20.03 | gcibot | [ GitHub - DennisYurichev/ToySMT: Simple SMT solver ] |
| 04:29.32 | nmz787 | happy new year! |
| 04:29.54 | nmz787 | I've had good results with cryptominisat for physical design problems (PCB schematics) |
| 04:30.25 | nmz787 | as well as monoSAT for some 3D routing stuff (attempt at PCB routing) |
| 04:46.32 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 05:20.43 | *** join/#brlcad teepee (~teepee@unaffiliated/teepee) |
| 05:36.44 | brlcad | nmz787: good to know! |
| 05:58.13 | *** join/#brlcad hh (~androirc@2405:204:339f:b96c::21fc:78b1) |
| 08:20.03 | *** join/#brlcad xopt (~xopt@bb116-14-130-4.singnet.com.sg) |
| 09:15.30 | Notify | 03BRL-CAD Wiki:Amisha Shukla * 0 /wiki/User:Amisha_Shukla: |
| 09:41.52 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 10:15.20 | *** join/#brlcad brlcad (~sean@104.225.5.10) |
| 10:26.33 | *** join/#brlcad Caterpillar (~caterpill@unaffiliated/caterpillar) |
| 11:00.55 | *** join/#brlcad merzo (~merzo@185.39.197.205) |
| 11:01.09 | *** join/#brlcad zwliew (uid161395@gateway/web/irccloud.com/x-pfyucovewoigcund) |
| 13:09.25 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 13:46.12 | *** join/#brlcad Siddharth (~androirc@2405:204:3481:e48a:c58:1934:bf5c:33b9) |
| 13:56.35 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 13:58.22 | *** join/#brlcad zwliew (uid161395@gateway/web/irccloud.com/x-bpcfnzxrsbqcchky) |
| 14:35.11 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 14:36.01 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 14:36.47 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 14:37.34 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 15:46.54 | *** join/#brlcad Siddharth (2f1ffe14@gateway/web/freenode/ip.47.31.254.20) |
| 17:35.04 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 18:02.49 | *** join/#brlcad daniellimws (~daniellim@139.59.224.224) |
| 18:03.06 | *** part/#brlcad daniellimws (~daniellim@139.59.224.224) |
| 18:07.59 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 18:20.23 | *** join/#brlcad Siddharth (~androirc@2405:204:3481:e48a:c58:1934:bf5c:33b9) |
| 18:40.20 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 19:03.20 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |
| 20:02.42 | *** join/#brlcad Siddharth (~androirc@2405:204:318c:d2d:4103:883a:f08c:91bc) |
| 21:08.50 | *** join/#brlcad yukonbob (~bch@S01069050ca2cbf63.ok.shawcable.net) |
| 22:02.47 | *** join/#brlcad merzo (~merzo@112-99-132-95.pool.ukrtel.net) |
| 22:25.03 | *** join/#brlcad teepee (~teepee@unaffiliated/teepee) |
| 23:24.36 | *** join/#brlcad kintel (~kintel@unaffiliated/kintel) |
| 23:44.00 | *** join/#brlcad caen23 (~caen23@79.118.94.187) |