Skip to content

Instantly share code, notes, and snippets.

#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 6.5.10 Kernel Configuration
#
CONFIG_CC_VERSION_TEXT="gcc (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=110400
CONFIG_CLANG_VERSION=0
CONFIG_AS_IS_GNU=y
CONFIG_AS_VERSION=23800
#!/usr/bin/env amm
import $ivy.`org.typelevel::kind-projector:0.10.3`
import $ivy.`com.olegpy::better-monadic-for:0.3.1`
import $ivy.`org.typelevel::cats-core:2.7.0`
import $ivy.`org.typelevel::cats-effect:3.3.11`
import cats._
import cats.implicits._
import cats.effect._
import cats.effect.unsafe.implicits._
struct tick_private_trait_base_is_incrementable : tick::ops {
typedef tick::refines<> type;
};
struct tick_private_trait_is_incrementable;
template<class... T>
struct is_incrementable : tick::models<tick_private_trait_is_incrementable(T...)> {};
struct tick_private_trait_is_incrementable : tick::detail::base_requires, tick::ops, tick_private_trait_base_is_incrementable::type
{
#include <boost/mpl/and.hpp>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/placeholders.hpp>
#include <type_traits>
#include <iostream>
namespace mpl = boost::mpl;
template <typename Cond, typename Seq, std::size_t I>
struct any_impl {
#include <iostream>
#include <cmath>
#include <type_traits>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/apply.hpp>
namespace sample {
namespace util {
namespace detail {
namespace mpl = boost::mpl;
@kotoji
kotoji / choco.py
Last active December 13, 2015 21:38
結城さんのチョコの問題のやつ
# -*- coding: utf-8 -*-
divisors = [162425297, 215940091, 358456949, 369941863, 369941863, 479871607, 706170617, 481362815814826159]
#三進数作ってすべての組み合わせを作り出してる
class Combine:
def __init__(self):
self.divs = divisors
self.flags = [0, 0, 0, 0, 0, 0, 0, 0]