kimits Struct Reference

Public Attributes
uint64_t	ticks

Detailed Description

Definition at line 131 of file cadical_kitten.c.

Member Data Documentation

ticks

uint64_t kimits::ticks

Definition at line 132 of file cadical_kitten.c.

---

The documentation for this struct was generated from the following files:

• src/sat/cadical/cadical_kitten.c
• src/sat/kissat/kitten.c